Talk:Nonidentity problem