anchor.diff:  		       ,@(IF TYPE-STRING
   			     (LIST TYPE-STRING)))))))
   
  -;; So, this defined a CHECK-TYPES macro that you can then use, for example, like this:
  +;; So, this defined a CHECK-TYPES macro that you can then use,
  +;; for example, like this:
   (defun foo (my-string my-number my-symbol)
     (check-types ()
       (my-string string)
  
positive.code: 			 (nreverse ?,collect))))
  	   ,@body)))))
  
  ;; Now we're ready to deal with the innermost backquote/leftmost unquotes. At this point we can conveniently ignore the outermost context/rightmost unquotes that we just wrote.
  
  #+nil
  (defmacro define-multidef-macro (name global-args local-args &body body)
  
negative.code:   (list my-string my-number my-symbol))
  
  
  ;; Okay. So that's the end product. Now, we'll attempt to write the
  ;; DEFINE-MULTIDEF-MACRO macro step-by-step.
  
  ;; In this abridged version, I'll just go ahead and assume we have a
  ;; perfectly clear idea of what we want the define-multidef-macro to
  ;; do and even how it's implemented, with the caveat that we don't
  ;; know the right magical voodoo incantations of nested backquotes to
  ;; write exactly.
  
  ;; So. We're an experienced macro writer so we come up with almost 100% of the solution in an instant:
  #+nil
  