lift operators

lift operators