Novikov's Compact Leaf Theorem - Ontify