 Although Fodor starts with the hope that the missing conditions of exclusive cp-laws could eventually be specified in the fundamental science, his definition of exclusive cp-laws involves a second order quantification over variable (unspecified) completers of independent exception-explainers. Hence, his account of exclusive cp-laws belongs to the family of indefinite exclusive cp-laws. Because of this fact Fodor’s and related accounts face severe problems, as will be discussed in section  5.2.[11] 