Kripke's_theory_of_truth loading ...