Notre Dame J. Formal Logic
58(1):
157-157
(2017).
DOI: 10.1215/00294527-3784830