thinking it through I'd say we don't need it since the only downside is that we can generate duplicates. And we handle that anyway!