Anfonwch hwn fel neges destun: Journal of philosophical logic.