Seems to be a form of [[Induction]]