timtyler comments on Probability Space & Aumann Agreement