Renamed liftTerm to reflect