lift(output 2 + 5)