should be =<

"Fun(A, B) should return true if A compares less than or equal to B in the ordering, false otherwise."