Szpilrajn Extension Theorem - Ontify