`GSet1 == GSet2` should work here (because they're ordered, and terms can compare for equality)