T=d ld li f mf gi cd cf cld
V=x,y
R=0,1,1
F= (x <= y) & (x = y)
C= x == y
