Gordeev, L.; Haeusler, E. H. Proof Compression and NP Versus PSPACE II: Addendum. B Sect Log 2022, 51, 197-205.