Andreotti–Frankel Theorem - Ontify