 Even assuming that Lange’s argumentation is valid (see, however, Demarest (2012) and Hall (2011) for criticism based on the context-sensitivity of counterfactuals), there is the worry that the circularity problem has not entirely been dissolved: It reappears at the level of the truth conditions for counterfactuals, since usually they are formulated in terms of the laws (see, e.g., Goodman 1947; Lewis 1973; Maudlin 2007: 21). Lange (2009a: chapter 4) answers this objection by arguing that subjunctive facts are ontologically primitive and the truth conditions for counterfactuals do not refer to laws. He concludes that, therefore, his explications (12) and (13) are not circular. 