anchor.diff:    ;; tests is developed primarily around the matter of how the
     ;; TEST-PREDICATE function would be FUNCALL'ed
     ((predicate
  -    :type function ;; NOTE: Does not need to be a PREDICATE per se
  +   ;; FIXME: PREDICATE is redundant onto RESULTS-TEST
  +    :type function
       :initarg :predicate
       :accessor test-predicate)))
   
  
positive.code: 
  ;;;; Diadic-Predicate-Test
  
  (defclass diadic-predicate-test (prediate-test)
    ((datum-a
      :initarg :datum-a
      :accessor test-datum-a)
  
negative.code: 
  (defgeneric princ-label (object stream)
    (:method ((object labeled-object) (stream stream))
      (let ((label (labeled-object-label object)))
        (princ (or label %unnamed%) stream))))
  
  (defclass closure-container ()
    ((environment
  