Talk:Fully irreducible automorphism