 An important distinction concerning only exclusive cp-laws is that between definite and indefinite exclusive cp-laws. A definite exclusive cp-law specifies the disturbing factors which are excluded (or the validity conditions which are required) in the antecedent of the law. In other words, a definite exclusive cp-law “exclusively cp, if \(A(d)\), then \(B(d)\)” has a strict completion of the form “For all \(d\): if \(A(d)\) and \(C(d)\), then \(B(d)\)”, where the completing condition “\(C(d)\)” excludes the presence of the specified disturbing factors in application \(d\). Earman, Roberts and Smith (2002, 283f.) call definite exclusive cp-laws lazy cp-laws.