autocases: uniq