The expected utility formalism combines a probability distribution relating actions to their probable consequences, with a utility function over consequences of actions, in order to assign expected utilities to actions. A key issue is the form and derivation of the probability distribution relating actions to consequences, usually held to be a counterfactual probability distribution.