Induction

Work in progress