Anfonwch hwn fel neges destun: The Journal of symbolic logic.