Ramsey's_theorem loading ...