It seems to me that the proposed function Type-Specifier-P is in fact Type-Name-P, since it cannot be called with an arbitrary CL type specifier. Perhaps its name should be changed accordingly. Personally, I would prefer to have (Typep foo 'Type-Specifier) - but then again I'd like all types to be represented by objects of type Type too. Rice -------