 Gilboa (1987) and Wakker (1989) have both provided axiomatisations of the proposal in a Savage framework. The key distinguishing feature of these is the effective restriction of Savage’s Sure-Thing principle to particular kinds of sets of acts: