LP 21 : Induction Autoinduction