x
Aumann's Agreement Theorem — LessWrong