 How contract theorists model the representative choosers (N) is determined by our (actual) justificatory problem and what is relevant to solving it. A major divide among contemporary social contract theories thus involves defining the justificatory problem. A distinction is often drawn between the Hobbesian/Lockean  (“contractarian”)  and Rousseavian/Kantian  (“contractualist”)  interpretations of the justificatory problem. These categories are imprecise, and there is often as much difference within these two approaches as between them, yet, nevertheless, the distinction can be useful for isolating some key disputes in contemporary social contract theory.