Recursion wirtten with contexts, generated equations; some done for induction too (rest routine)