 The remainder of this entry examines problem cases for contractualism. The first two concern the logical structure of contractualism—asking whether its account of wrongness is either circular or incomplete. The next four are puzzle cases where the most obvious interpretation of contractualism seems to yield implausible results. The last two are groups who should be included in the scope of morality, but who seem to be left out by contractualism: animals and future people.