Part of the reason I am interested in lt = <= is that I actually want to verify that an iterable is both sorted and unique. I want the sequence to be strictly monotonically increasing, not just sorted.
My intuition would have been to indicate lt = < to accomplish that, but that is wrong.