I included it for completeness. We will need it to test partition() anyway. It can be demoted to a private function though.