I haven’t laid out guidelines for leaving comments on this blog. Perhaps I should. But here is one request I’d like to underscore: When you submit a comment, please use your full real name and one of your active email addresses. The real name is for the benefit of everyone (including yourself!), and the active email address is for me (i.e., it is not viewable to others) in case I’d like to contact you privately.