UNIQUE (Extended Version) [Explicit]

UNIQUE (Extended Version|Explicit)