Working in the context of reverse mathematics, we give a fine-grained characterization result on strength two possible definitions for Effective Transfinite Recursion used literature. Moreover, show that Π20-induction along well-order X is equivalent to statement exponentiation any power well-founded.
