Before revision: In the presence of Church's thesis , the principle is equivalent to its form for primitive recursive functions.
After revision: principleIn the presence of Church's thesis , the principle is equivalent to its form for primitive recursive functions.