In order to define recursion, we must first define recursion