Logical_connectives loading ...