Dear friends, the Y2K problem concerns us all! Remember: the parsers were not designed using CASL. Therefore, - write some CASL specifications, - use the remaining time in 1999 to feed them through a parser, and - collect enough of the resulting ATerms to get you through the year 2000. But do not overstock - sooner or later, the parsers will work again. Happy new year! Till, Markus, and Lutz