Logical_deduction loading ...