Talk:Sullivan conjecture