Milnor found more than one smooth structure on the seven-dimensional hypersphere. Generalizations have subsequently been found in other dimensions. Using surgery theory, it is possible to relate the number of diffeomorphism classes of exotic spheres to higher homotopy groups of spheres.