Talk:Unique name assumption