let diff s1 s2 = inter s1 (compl s2)