I am a mathematical god! Proved recursion with parameter substitution is primitive recursive all on my own, bet you couldn't do that.