Expected utility without the independence axiom — AI Alignment Forum