Early infinitary logic (The Reasoner, 2024)