Gordeev, L. and Haeusler, E.H. 2022. Proof Compression and NP Versus PSPACE II: Addendum. Bulletin of the Section of Logic. 51, 2 (Jan. 2022), 197–205. DOI:https://doi.org/10.18778/0138-0680.2022.01.