Nash was a first to axiomatize expected utility