> idealsAreEqual does not use isSubset in any way, right?
no, but it is missing here.. that should not happen