Element uniqueness

Summary