Łoś–Tarski Preservation Theorem - Ontify