sets are now sorted [necessary?]