 We next distinguish contractualism from the specific moral theory of Kant. Kantian moral philosophers seek principles to which all rational agents would agree, under certain idealised conditions. In order to reach such an agreement, Kant notoriously needs to abstract away from many (some would say too many) concrete features of our moral lives. (See Onora O’Neill’s gloss on the notion of agreement in Kantian ethics; O’Neill 2003.)