/and.hpp/1.1.1.1/Sun Dec 15 09:01:59 2002//
/not.hpp/1.1.1.1/Sun Dec 15 09:01:59 2002//
/or.hpp/1.1.1.1/Sun Dec 15 09:01:59 2002//
D
