Granting that there could be true subjunctive conditionals of libertarian freedom (SCls), I argue (roughly) that there could be such conditionals only in connection with individual "possible creatures" (in contrast to types). This implies that Molinism depends on the view that, prior to creation, God grasps possible creatures in their individuality. In making my case, I explore the notions of counterfactual implication (that relationship between antecedent and consequent of an SCl which

more »

... in its truth) and counterfactual relevance (that feature of an antecedent in virtue of which it counterfactually implies something or other).