Logic for the new AI spring, 12-16 September (The Reasoner, 2024)