Ramsey_sentence loading ...