Ramsey's Theorem - Ontify