Federer–Morse Theorem - Ontify