Abductive_reasoning loading ...