This seems superfluous, since we're already asserting each name as a distinct value below.,