(progn
  (defclass foo-condition (condition)
    ((foo-slot :reader foo-condition-slot :initarg :slot)))
  (defmethod print-object ((condition foo-condition) stream)
    (funcall #'report-foo-condition condition stream))
  'foo-condition) <--lottaquestions: Why is this name of the defclass returned by the progn. Note that this is the result of a macroexpansion. phoe claims this is as per the standard, but does not explain why in his book