Make InverseLifts easier;