Do we still need this? There seems to be no way to access a random element.