Talk:Toida's conjecture