Talk:Journal of formalized reasoning