Language,_Truth_and_Logic loading ...