add subsection about lambda recursion