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