Notre Dame Journal of Formal Logic