let mem a b = I.mem (a,b)