Loading paper
Invertibility modulo dead-ending no-P-universes | Tomesphere