Are we compactified yet?
NO
[main]