Krull's Theorem - Ontify