finished basic_reduce
WIP basic_recursion