T=li gi
V=x,y
R=-2, 2, 1
F=x|y
C=x == 0 ? y != 0 : 1
