oops.  I thought he was being clever . . . turns out I was . . sort of :) <div class="gmail_quote">On Sat, Feb 14, 2009 at 11:12 PM, Shriram Krishnamurthi <<a href="mailto:sk@cs.brown.edu">sk@cs.brown.edu</a>> wrote: <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">> Then Macro said: I wonder how he feels about this particular name change. (-: Shriram </blockquote></div>