← 4. Compactness