<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html;charset=ISO-8859-15"
 http-equiv="Content-Type">
  <title></title>
</head>
<body bgcolor="#ffffff" text="#330033">
<font face="Times New Roman, Times, serif">Dear Valerie and List,<br>
<br>
Congratulations on a great article!  I think we will see many more like
this in the future, thanks to all of you fine developers working with
Valerie.  I have difficulty staying up with the discussion, but am
enjoying so much seeing these important languages coming into their
reality after so many years!!<br>
<br>
Jerry.<br>
</font>
</body>
</html>