Sean Lamont and John Aslanides and Jan Leike and Marcus Hutter