Gordeev L, Haeusler EH. Proof Compression and NP Versus PSPACE II: Addendum. B Sect Log. 2022;51(2):197-205. doi:10.18778/0138-0680.2022.01