These vectors should be already sorted given how they're created, so we shouldn't need these.
The reason they weren't is probably due to the bugs I pointed above.