Logical_equivalence loading ...