Deductive_argument loading ...