Danny writes: `` (setf (find-method ...) <method>) calls add-method And if there is an incompatiblity between the method and the specified qualifiers or specializers, an error is signalled, right?'' Add-method signals an error if there is a congruence failure. I wouldn't expect (setf find-method) to look for the error separately. -rpg-