Theory_of_truth loading ...