My concern in this paper is with the illumination that the theory of rational bargaining sheds on the formulation of principles of justice. I shall first set out the bargaining problem, as treated in the theory of games, and the Nash solution, or solution F. I shall then argue against the axiom, labeled “independence of irrelevant alternatives,” which distinguished solution F, and also against the Zeuthen model of the bargaining process which F formalizes.