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