Induction rules

by