T=d ld f mf cd cf cld
V=x,y,z
R=0,1,1
F=if(!x, y,z)
C=fp_truth(x)!=0 ? z : y
