 Some advocate antireductionist, antisupervenience views (Carroll 1994, 2008, Ismael 2015, Lange 2000, 2009, Maudlin 2007, Woodward 1992). Regarding the question of what it is to be a law, they reject the answers given by Humeans; they often deny Humean supervenience, and they see no advantage in an appeal to universals. They reject all attempts to say what it is to be a law that do not appeal to nomic concepts. Yet they still believe that there really are laws of nature; they are not antirealists. Maudlin takes lawhood to be a primitive status and laws to be ontological primitives — fundamental entities in our ontology. His project is to show what work laws can do, defining physical possibility in terms of laws and sketching law-based accounts of the counterfactual conditional and of explanation. Carroll’s analysis of lawhood is in terms of causal/explanatory concepts. The starting point is the intuition that laws are not accidental, that they are not coincidences. Not being a coincidence, however, is not all there is to being a law. For example, it might be true that there are no gold spheres greater than 1000 miles in diameter because there is so little gold in the universe. In that case, strictly speaking, that generalization would be true, suitably general, and not a coincidence. Nevertheless, that would not be a law. Arguably, what blocks this generalization from being a law is that something in nature — really, an initial condition of the universe, the limited amount of gold — accounts for the generalization. Contrast this with the law that inertial bodies have no acceleration. With this and other laws, it seems that it holds because of nature (itself).  Lange’s (2000, 2009) treatment includes an account of what it is to be a law in terms of a counterfactual notion of stability. The overall account is intricate, but the basic idea is this: Call a logically closed set of true propositions stable if and only if the members of the set would remain true given any antecedent that is consistent with the set itself. So, for example, the set of logical truths is trivially stable, because logical truths would be true no matter what. A set that included the accidental generalization that all the people in the room are sitting, but is consistent with the proposition that someone in the room shouts ‘Fire!’ would not be a stable set; if someone were to shout ‘Fire’, then someone in the room would not be sitting. Lange argues that no stable set of sub-nomic facts — except maybe the set of all truths — contains an accidental truth. “By identifying the laws as the members of at least one non-maximal stable set, we discover how a sub-nomic fact’s lawhood is fixed by the sub-nomic facts and the subjunctive facts about them” (2009, 43).