--- paul.hudak@yale.edu wrote: voigt.16734551@bloglines.com wrote:

1:_|_ is certainly finite. In what sense is it not?

I see that point. I have been using "finite" as, by convention, equal to "total and finite". And so have others. As always with convention, one can argue. I won't, of course.

Sorry, see my reply to Bill Wood.

distinguishes what are called "interesting" elements from other elements (if I recall

Yes, saw that later. the terminology correctly). Interesting ;-) Ciao, Janis.