Loading paper
Gravity from the extension of spatial diffeomorphisms | Tomesphere