let ( =. ) x y = x >=. y && y >=. x