A Closer Look at Some Recent Proof Compression-Related Claims. - Michael C. Chavrimootoo; Ethan Ferland; Erin Gibson; Ashley H. Wilson (CoRR, 2022)