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