Now we have recursive calls on the left, as they lead to a smaller stack