compactness is working