We did an inductive proof of a claim involving grammar trees. Then we did two examples of using recursion trees to find closed forms for recursive definitions.