1987a, "A curious inference," "Journal of Philosophical Logic 16": 1-12.