Although I do not disagree with this, I now believe that the probabilistic concepts 'almost deducible' and 'almost contradictory' are extremely useful in connection with our problem; see appendix ix, and chapter of the Postscript probability property, and also an element with the property 'o'.