There's no need for ordering (it's a bag rather than a vector), but yeah.