T=d f li ld mf gi
V=x
R=-1,1,1
F=!!(x)
C=fp_notNot(x)
