Talk:Ravenel's conjectures