let
equal c1 c2 =
(subset c1 c2)
&&
(subset c2 c1)