The syntax for COND is: cond {clause}* => result* clause::= (test-form form*) therefore (cond ()) should be a program-error, but abcl 1.0.1 returns NIL. -- __Pascal Bourguignon__ http://www.informatimago.com/