In response to Jaffe and Quinn [math.HO/9307227], the author discusses forms of
progress in mathematics that are not captured by formal proofs of theorems, especially in
his own work in the theory of foliations and geometrization of 3-manifolds and dynamical
systems.
