IntroducedNameIsUsed

@docs check