Haynes Miller's resolution of the Sullivan conjecture. Adams' solution if the Hopf invariant one problem.