Checked uniqueness.