let
( =! ) x y = (cmp x y)=0