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