Talk:Naimark equivalence