2024. Proof Theory. The Reasoner. 3, 4 (Sep. 2024).