Back to Set.Make.