Added initial draft of guarded recursion background subsection.