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