David Gauthier develops morality in the social contract tradition as an emergent property rationally necessitated by the presence of inefficiency. To demarcate situations in which morality arises from those in which it does not, two principles, Strategic Emergence and Market Emergence, are motivated and assumed by Gauthier to be equivalent. Following the work of Bob Bright, this paper formalizes and expands upon a demonstration of the inconsistency of the two principles. Eliminating each of the emergence conditions is considered to resolve the inconsistency. Additionally, the Kantian equilibrium is examined in place of the Nash equilibrium; however, Gauthier’s approach resists such amendments.