Random utility function — LessWrong