Palais–Smale Compactness Condition - Ontify