anchor.diff:    (dolist (subclass (safe-class-direct-subclasses class))
       (std-after-reinitialization-for-classes subclass)))
   
  -(defmethod reinitialize-instance :after ((class std-class) &rest args &key direct-superclasses &allow-other-keys)
  +(defmethod reinitialize-instance :after ((class std-class) &rest args &key direct-superclasses direct-slots direct-default-initargs documentation)
  +  (declare (ignore direct-superclasses direct-slots direct-default-initargs documentation))
     (apply #'std-after-reinitialization-for-classes class args))
   
   (defun remove-reader-method (class reader slot-name)
  
positive.code: (format t "Closette is a Knights of the Lambda Calculus production.~%")
  
  ;;; Metaclasses.
  
  (defmethod update-instance-for-different-class :before
             ((old forward-referenced-class) (new standard-class) &rest initargs)
  
negative.code:           (pushnew key initargs))))
      (values initargs nil)))
  
  (defun valid-initargs (class functions)
    (let ((initargs (class-slot-initargs class)))
      (loop
         for (fn . args) in functions
         do (multiple-value-bind (keys aok)
                (applicable-method-initargs fn args)
              (when aok
                (return-from valid-initargs
                  (values nil t)))
              (dolist (key keys)
                (pushnew key initargs))))
      initargs))
  
  (defun check-initargs (class functions initargs error-fn)
    (multiple-value-bind (valid-initargs inhibit-checking)
        (valid-initargs class functions)
      (when (not inhibit-checking)
        (let ((invalid-initargs (loop
                                   for initarg in initargs by #'cddr
                                   when (not (member initarg valid-initargs))
                                   collect initarg)))
          (when invalid-initargs
            (funcall error-fn valid-initargs invalid-initargs))))))
  
  (defun check-make-instance-initargs (class initargs)
    (check-initargs
     class
     (list (list #'allocate-instance class)
           (list #'initialize-instance (class-prototype class))
           (list #'shared-initialize (class-prototype class) t))
     initargs
     (lambda (valid-initargs invalid-initargs)
       (error "Invalid initargs ~:S when creating instance of ~S (~S).~%Supplied: ~:S~%valid:~:S"
              invalid-initargs class (class-name class) initargs valid-initargs))))
  
  (defgeneric make-instance (class &rest initargs &key &allow-other-keys))
  (defmethod make-instance ((class std-class) &rest initargs)
  