Heine–Borel Theorem - Ontify