pengvado comments on Probability Space & Aumann Agreement