1985, "1-consistency and the diamond," "Notre Dame Journal of Formal Logic 26": 341-347.