Gauthier's own contractarianism requires agents capable of 'constrained maximization,' which presupp...