Not that I want to get into semantics, but if UND should happen to drop the Fighting Sioux nickname, whatever new name is adopted will become the university's "formal" (i.e. official, recognized, proper) nickname. If fans continue to call UND's teams the "Fighting Sioux," they'll be using an unofficial, informal nickname.