2024. Early infinitary logic. The Reasoner. 16, 7 (Jul. 2024).