Loading paper
A Dunfield--Gong 4-Sphere is Standard | Tomesphere