Message written at 8 Sep 1999 09:29:39 +0100
--- Copy of mail to g.maldonado@agora.stm.it ---

There is no attempt for a1 ^ a2 to work.  I cannot see why one would
want to do this really.  Clearly it could be added, but why?

a1 ^ p1 looks like an oversight.  Will investigate