In limited recursion on notation, the recursion depth is proportional to the length of y's binary re...