An Independence Question in Recursive Arithmetic