> The only argument I can see for _requiring_ return of strictly T or NIL... > is that it promotes portability... Excuse me -- I missed the earlier message that observes how unpleasant it would be to keep a big, otherwise unused object around merely because it's being passed around as the non-NIL returned from a predicate. Good point. - Pc^2