began work on unfold; lack of tail recursion poses a problem