`idealsAreEqual ` does not use `isSubset` in any way, right?