 The problem is this. Suppose that the parties to the contract closely model real agents, and so they have diverse bases for their deliberations—religious, secular, perfectionist, and so on. In this case, it is hard to see how the contract theorist can get a determinate result. Just as you and I disagree, so will the parties. Rawls (1999, 121) acknowledges that his restrictions on particular information in the original position are necessary to achieve a determinate result. If we exclude “knowledge of those contingencies which set men at odds …. ” then since “everyone is equally rational and similarly situated, each is convinced by the same arguments”(Rawls 1999, 17, 120). Gaus (2011a, 36–47) has argued that a determinative result can only be generated by an implausibly high degree of abstraction, in which the basic pluralism of evaluative standards—the core of our justificatory problem—is abstracted away. Thus, on Gaus’s view, modelings of the parties that make them anything approaching representations of real people will only be able to generate a non-singleton set of eligible social contracts. The parties might agree that some social contracts are better than none, but they will disagree on their ordering of possible social contracts. This conclusion, refined and developed in (Gaus 2011a, Part Two) connects the traditional problem of indeterminacy in the contract procedure (see also Hardin 2003) with the contemporary, technical problem of equilibrium selection in games (see Vanderschraaf 2005). A topic we will explore more in §3 below.