Deductive_mood loading ...