Logical_equality loading ...