確かlift0とlift2が定義されてたんじゃない?