 A second problem is to identify which categories of social entities are the best focus for analysis of the social world. Social theorists have treated a variety of different categories of social entities as basic, including social laws (Mill 1843, Spencer 1895); social facts (Durkheim 1894, Mandelbaum 1955); social groups (Oppenheim &amp; Putnam 1958, Gilbert 1989, Tuomela 2013); human kinds (Boyd 1991, 1999b; Millikan 1999, Mallon 2016); institutional facts (Searle 1995); social objects and social properties (Macdonald &amp; Pettit 1981, Ruben 1985); social predicates (Kincaid 1986); social practices (Bourdieu 1977, Giddens 1984, Schatzki 1996); and social processes (Whitehead 1929, Rescher 2000, Livet &amp; Nef 2009). Some theories focus on a category because it is significant, but do not claim that it comprehensively covers the social world. Others choose a category of social entities in order to be comprehensive. In doing this, a theory may aim to set up an exhaustive determination claim: for instance, it may claim that all social objects are composed of individual people interacting with one another, or that all social properties supervene on individualistic properties, or that all social facts are grounded by physical facts. As these examples illustrate, the category of social entities a theory focuses on is tied to how the theory interprets “determination” (for more on this, see  section 2.3).