Leko
says to
YSITD
diff(a,b) => abs(a-b)