In the tradition of Savage and Anscombe-Aumann, rational agents are defined precisely by utility fun...