SOPhiA 2018, Salzburg, 12–15 September. The Reasoner, v. 12, n. 11, 25 Jul.2024.