let clausesAreEqual clause1 clause2 = clausesAreSubSetEq clause1 clause2 && clausesAreSubSetEq clause2 clause1