Do we need a sorted set here?