(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?