1988a, Review of Craig Smorynski, "Self-Reference and Modal Logic", "Journal of Symbolic Logic 53": 306-309.