Abductive_inference loading ...