Talk:Notre Dame Journal of Formal Logic