x
Aumann's Theorem — LessWrong