Add notes on recursion