 Many of the recent developments in bargaining theory and the social contract have adopted dynamic (Muldoon 2017, Vanderschraaf 2018) or even evolutionary approaches to modeling bargaining (Alexander and Skyrms 1999, Skyrms 2014). This highlights a general divide in bargaining models between what we can call axiomatic and process models. The traditional, axiomatic, approach to the bargaining problem going back to John Nash, codified by John Harsanyi, and popularized by R. Duncan Luce and Howard Raiffa (1957). Out of this tradition has come several core bargaining solutions. Each uses a slightly different set of axioms to generate a unique and generally applicable way to divide a surplus. These include, most notably, the egalitarian (Raiffa 1953), the Nash (1950), the stabilized Nash (Moehler 2010), the Kalai-Smorodinsky (1975), and Gauthier’s minimax relative concession (1986). The main point of contention among these theories is whether to employ Nash’s independence axiom or to use a monotonicity axiom (as the egalitarian, Kalai-Smorodinsky, and minimax relative concession do), although, to one degree or another all of the axioms have been contested.