begin to handle lifting exprs