Paul Goerss' review of the book "Differential algebras in topology" by David Anick contains the following remark:

"...the spaces $D_k$ are constructed and analyzed inductively, with surely the largest inductive hypothesis that I have ever seen."