 The general idea behind completer approaches is that the best way to explicate exclusive cp-laws is to add the missing conditions for a strict implication into the antecedent of the law statement. There are two quite different possibilities to do this. The first possibility is to add these conditions explicitly, by appropriate descriptions of the first order individual variables involved in the law. If this were the correct account, all correct cp-laws would turn out to be definite exclusive cp-laws (or lazy cp-laws in the terminology of Earman, Roberts and Smith 2002). The second possibility is to add these conditions by way of a second order quantification over first order predicate variables, which apply to the first order individual variables of the law. In this account, cp-laws are turned into indefinite exclusive cp-laws.