[AR] Recursion without tears

[AR] Most students fail recursion because they think in stack frames instead of contracts. Four steps: base case, shrinking step, recursive contract, composition. Write them down before every solution.