Talk:Zimmer conjecture