Notre Dame J. Formal Logic
59(1):
135-138
(2018).
DOI: 10.1215/00294527-2017-0031