As a form of natural induction?