Well-founded relation 

Some 3 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.