Countable compactness