Loading paper
Bounded compactness from G(E)UP | Tomesphere