Notre Dame J. Formal Logic
49(4):
447-451
(2008).
DOI: 10.1215/00294527-2008-023