Infinitary logic in the finite (The Reasoner, 2024)