Deduction_system loading ...