dlro66 comments on Probability Space & Aumann Agreement