Journal of Formalized Reasoning – Andrea Asperti. The Reasoner, v. 3, n. 7, 17 Sep.2024.