let
(>) i1 i2 = i2 < i1