Refactoring recursion over terms - not just for formatting.