Stuart_Armstrong comments on Expected utility without the independence axiom