They made it possible to deduce the existence of "exotic" smooth structures—certain topological four-manifolds could carry an infinite family of different smooth structures.
Вони дозволили вивести існування «екзотичних» гладких структур — деякі топологічні 4-многовиди можуть нести нескінченне сімейство різних гладких структур.