well founded relation some years ago you had a long discussion on the above page but somehow it managed to miss an important point about infinite descending chains i posted again at the bottom of the talk page on this perhaps you can clarify