Translate
the inductive method