Well-Foundedness and Recursion
(for noframe browsers)