Added uniqueness-of.