Talk:Journal of Formalized Reasoning