hi:logical_connectives