Text this: Recursion in second order bounded arithmetic