Actually, I meant to display *this* addressee header, which came very recently: << To: math-fun <math-fun@mailman.xmission.com> Cc: math-fun <math-fun@mailman.xmission.com>, math-fun <math-fun@mailman.xmission.com>

...

--Dan