T=d f ld li
V=x
R=0,1,1
F=(!x=1)
C=fp_equal(fp_not(x),1)

