let
(>=) i1 i2 = i2 <= i1