Deductive_system loading ...