Kadison Transitivity Theorem - Ontify