Loading paper
Shifted symplectic rigidification | Tomesphere