Borel Fixed-Point Theorem - Ontify