Talk:Equivalence problem