Correction.

Sorry! What I called a well-ordering at today's lecture should
have been called a well founded ordering. . (A well-ordering is
a well founded ordering that also is total.)