Deductive_logic loading ...