“…Motivating Example. As a motivating example, consider the definition of the function (similar to the smash function of Buss and others) in [17]. The definition uses recursion on binary strings as follows: (w, sv) = ⊕(w, (w, v)) for s ∈ {0, 1}, where ⊕ (concatenation) has been defined by recursion on its first input, not its second.…”