anchor.diff:          (fmt "Lambda list: (&rest NUMBERS).~@
                 At least one argument is required.~@
                 Return true no two numbers in NUMBERS have the same value.~@
  -              Might signal an error of type TYPE-ERROR if some~@
  -              of the objects in NUMBERS are not numbers.~@
  +              The consequences are undefined if some of the objects~@
  +              in numbers are not real numbers, but if that is the case~@
  +              and a condition is signaled, that condition is an error~@
  +              of type TYPE-ERROR.~@
                 Might signal an error of type ARITHMETIC-ERROR if~@
                 unable to fulfil its contract.~@"))
   
  
positive.code:               At least one argument is required.~@
                Return true if the numbers in NUMBERS are in~@
                monotonically nonincreasing order.~@
                Might signal an error of type TYPE-ERROR if some~@
                of the objects in NUMBERS are not real numbers.~@
                Might signal an error of type ARITHMETIC-ERROR if~@
                unable to fulfil its contract.~@"))
  
negative.code:               At least one argument is required.~@
                Return true if the numbers in NUMBERS are in~@
                monotonically strictly decreasing order.~@
                The consequences are undefined if some of the objects~@
                in numbers are not real numbers, but if that is the case~@
                and a condition is signaled, that condition is an error~@
                of type TYPE-ERROR.~@
                Might signal an error of type ARITHMETIC-ERROR if~@
                unable to fulfil its contract.~@"))
  
  