T=d ld li f mf gi cd cf cld
V=x,y
R=-6,6,1
F=((x*-4) = (y+6))
C=fp_equal(x*-4, y+6)
