Added note on the inductive approach.