HalFinney comments on Probability Space & Aumann Agreement