Motzkin's Theorem - Ontify