name-collision checking