Iterated Gambles and Expected Utility Theory — LessWrong