Notre Dame J. Formal Logic
57(1):
151-151
(2016).
DOI: 10.1215/00294527-3486386