Report duplicate definitions.
Avoid nontotality.