Ahlfors Finiteness Theorem - Ontify