Add lift0 and lift3