Logic for the new AI spring, 12-16 September. The Reasoner, v. 16, n. 8, 19 Jul.2024.