Schemas for induction. (August 2020)