Loading paper
Compactness of powers of \omega | Tomesphere