Aumann's Agreement Theorem — LessWrong