 Some constructivist theories define their scope more narrowly than the theories discussed in  sections 2–4.  They seek to provide objectivist accounts of the basic principles of morality, rather than of all normative principles. Most constructivists about morality hold that the relevant sort of agreement of which moral reasons are the product is best captured in terms of a hypothetical contract (Scanlon 1998; Hill 1989, 2001; Milo 1995). ‘Contractualism’ is thus the normative theory that is typically associated with metaethical constructivism, even though it is not accepted by all Kantians (compare O’Neill 1989a: 10; O’Neill 2015). Hobbesian theories occupy a prominent place in the contractualism debate. To explain the nature of morality and of moral truths, Hobbesians do not use the term “construction”, but “hypothetical contract”. However, many think of construction as a form of hypothetical procedure akin to contract (Street 2010: 365; Darwall, Gibbard, &amp; Railton 1997: 13, and see section 3. In  5.1  and  5.2,  we shall discuss two prominent varieties of constructivism whose scope is restricted to moral judgment; in  5.3  other emerging varieties will be briefly presented.