anchor.diff:  (defmacro assert-true (form &rest extras)
     (expand-assert :result form form t extras))
   
  -
   (defun expand-assert (type form body expected extras &key (test #'eql))
     `(internal-assert ,type ',form
  -                    #'(lambda () ,body)
  -                    #'(lambda () ,expected)
  +                    (lambda () ,body)
  +                    (lambda () ,expected)
                       ,(expand-extras extras)
                       ,test))
   
  
positive.code:              (*pass-count* 0)
               (error-count 0))
          (handler-bind 
              ((error #'(lambda (e)
                          (let ((*print-escape* nil))
                            (setq error-count 1)         
                            (format t "~&    ~S: ~W" *test-name* e))
                          (if (use-debugger-p e) e (go exit)))))
            (funcall thunk)
            (show-summary *test-name* *test-count* *pass-count*))
          exit
  
negative.code:   `(macroexpand-1 ',form ,env))
  
  (defun expand-extras (extras)
    `(lambda () (list ,@(mapcan (lambda (form) (list `',form form)) extras))))
  
  ;;; RUN-TESTS
  
  (defmacro run-all-tests (package &rest tests)
    `(let ((*package* (find-package ',package)))
       (run-tests
        ,@(mapcar (lambda (test) (find-symbol (symbol-name test) package))
                  tests))))
  
  (defmacro run-tests (&rest names)
  