Necessary_truth loading ...