What is the systematic way to translate an inductive definition into an impredicative definition? Propose a method and test it on the examples given in the section on impredicative definitions. For each case, prove the equivalence between the inductive definition and the impredicative definition.