Allen Chou says to YSITD
f(g^-1(x', y')) = 0 吧?