Carnap-Ramsey_sentence loading ...