Logical_conjunction loading ...