anchor.diff:          the indexes i such that START <= i < END.  The default for START is 0,~@
           and the default for END is NIL, which means the end of the sequence."))
   
  -(defparameter *satisfy-the-test*
  +(defparameter *satisfy-a-two-argument-test*
     (fmt "To determine whether an element satisfies the test,  The KEY function~@
           is first applied to the element.  The result is then used in the test.~@
   	Then, if TEST is given, TEST is applied to ITEM and the result of~@
  
positive.code:               Exceptional situations:~@
                ~a~@
                ~a"
                *item-sequence* *key* *test-test-not* *bounding-indexes* *from-end*
  	      *satisfy-the-test*
  	      *error-not-proper-sequence*
  	      *error-bounding-indexes*))
  
  (fundoc 'count
  	(fmt "Lambda list: (ITEM SEQUENCE &key KEY TEST TEST-NOT START END FROM-END)~@
                ~@
                Description:~@
                COUNT counts the number of elements in the interval of SEQUENCE designated by~@
  	      START and END that satisfy the test, and returns the number of such elements.~@
  	      ~@
  	      IF FROM-END is false, then the elements of the designated interval will be~@
  	      tested from the beginning to the end of the sequence.  If FROM-END is true,~@
  	      then elements of the designated interval will be tested from the end to the~@
  	      beginning of the sequence.  This difference is important only when~@
  	      KEY, TEST, or TEST-NOT have side effects.~@
                ~@
  	      Arguments:~@
  	      ~a~%~a~%~a~%~a~%~a~@
  
negative.code: 	the element satisfies the test.  Otherwise the element does not~@
  	satisfy the test."))
  
  (defparameter *satisfy-a-one-argument-positive-test*
    (fmt "To determine whether an element satisfies the test, the KEY function is~@
          first applied to the element.  Then PREDICATE is applied to the result.~@
          If PREDICATE returns true, then the element satisfies the test.~@
          Otherwise, the element does not satisfy the test."))
  
  (defparameter *satisfy-a-one-argument-negative-test*
    (fmt "To determine whether an element satisfies the test, the KEY function is~@
          first applied to the element.  Then PREDICATE is applied to the result.~@
          If PREDICATE returns false, then the element satisfies the test.~@
          Otherwise, the element does not satisfy the test."))
  
  (defparameter *from-end*
    (fmt "FROM-END is a generalized boolean.  The default-value for FROM-END is false."))
  
  