When (and by who) was the unique readability theorem proved? for what system? When did the name `unique readability' arise? Similary, when did `induction on formulas' arise as a proof technique? John T. Baldwin Professor Emeritus Department of Mathematics, Statistics, and Computer Science M/C 249 jbaldwin at uic.edu 851 S. Morgan Chicago IL 60607