Loading paper
When is the diagonal contractible? | Tomesphere