require compactness for plan c solutions