 Savage also requires that the desirability of an outcome be independent of the state in which it occurs, as this is necessary for it to be possible to determine a comparative belief relation from an agent’s preferences. To formalise this requirement, Savage introduces the notion of a null event, defined as follows: