Home work 2. Recursion and reduction.