let (>) i1 i2 = i2 < i1