 Typically, discussions of the argument rely on some version of the Nagelian model of intertheoretic reduction. The model conceives of theories as statements issued mainly in the form of laws. Adapted to the present focus, it requires that two conditions be fulfilled in order to reduce a social theory to an individualist one. The first requirement is the condition of connectability, which must be met because it is assumed that holist theories are distinguished by their use of social predicates or descriptions, whereas individualist theories are characterized by containing individualist predicates or descriptions only. Following one common interpretation, the condition states that the social predicates in the social theory to-be-reduced must be linked, on a one-to-one basis, to individualist descriptions in the reducing individualist theory. The resulting bridge laws, as they are called, express that the linked descriptions are co-extensive, that is, that they have the same reference, in a law-like manner. (Note that this is a weaker condition than the demand considered in  2.2,  requiring that the meaning of social terms must be captured by specifications that contain descriptions of individuals only.) The condition of connectability implies that if, say, the social term “church” occurs in the social theory to-be-reduced, then it must be demonstrated that this term is co-extensive, in a law-like manner, with a single individualist description of individuals and their properties as realizing a church. Once this condition has been met, the second requirement, the condition of derivability, should be fulfilled. It states that the social theory to-be-reduced must be deduced from, and in that sense explained by, the reducing individualist theory, plus the bridge laws.