T=d f ld li cd cf cld
V=x
R=0,1,1
F=(!x!=if(1,1,1))
C=fp_nequal(fp_not(x),1)

