No need to distinguish non-unique definitions.