uniquify, but *much* shorter!