-[[countably I-compact]]
-[[countably I-compact (countably compact modulo I)]]