P1 Induction

P1 induction