Logical_connective loading ...