don't need IntOpenHashSet anymore