Thanks Ted . . . and Happy 135th birthday to Albert Einstein. (At MIT, they used to -- perhaps still do -- fire off a cannon at 1:59 pm. Think about it.)
Belatedly, happy birthday Dr. Bear, and many more! Thank you for doing so much to build this community, and I use "this community" in a very broad sense.