"developing a piece of mathematics using relatively weak techniques is a form of``insurance"": it will be portable regardless of how you go about strengthening the formalism in the future."
"There are actually multiple ways of formalizing the idea we call``impredicativity""."