Notre Dame J. Formal Logic