theorem that a rational decision-maker has a utility function
Nothing in the MetaHistoryBook collection references this item yet.