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)
