Notre Dame J. Formal Logic
57(4):
441-442
(2016).
DOI: 10.1215/00294527-3646685