Adductive_reasoning loading ...