The Lisp Machine mail sending programs should refuse to send mail with no recipients. COMSAT will just reject it as a BADREQ anyway, so it would be better to inform the user that he is losing in the first place.