Developing Mathematical Power by Using Explicit and Recursive Reasoning