 Progress on the problem of provisos depends on three basic issues being distinguished. First, there is the question of what it is to be a law, which in essence is the search for a necessarily true completion of: “P is a law if and only if …”. Obviously, to be a true completion, it must hold for all P, whether P is a strict generalization or a ceteris-paribus one. Second, there is also a need to determine the truth conditions of the generalization sentences used by scientists. Third, there is the a posteriori and scientific question of which generalizations expressed by the sentences used by the scientists are true. The second of these issues is the one where the action needs to be.