I'm still on my field trip in Saarbruecken but will try to be at the Sous-Bock at 21:30, maybe some minutes later. And I certainly will need a BIG beer :-) See you tonight -Ralf. -- Ralf Treinen Laboratoire Spécification et Vérification CNRS & École Normale Supérieure de Cachan http://www.lsv.ens-cachan.fr/~treinen