Logical_implication loading ...