Heine–Cantor Theorem - Ontify