No-Go Theorem - Ontify