anchor.diff:                  (the cl:simple-string (car xy)) 
                   (the cl:simple-string (cdr xy)))))
   
  -(defun |!forall?| (p)
  +(defun forall? (p)
    (lambda (s)
      (every p s)))
   
  -(defun |!forall?-1-1| (p s)
  +(defun forall?-1-1 (p s)
    (every p s))
   
  -(defun |!exists?| (p)
  +(defun exists? (p)
    (lambda (s)
      (some p s)))
   
  -(defun |exists?-1-1| (p s)
  +(defun exists?-1-1 (p s)
    (some p s))
   
   (defun |!map| (f)
  
positive.code:       (append '("STRING-SPEC::implode"
                  "STRING-SPEC::explode"
                  "STRING-SPEC::|!length|"
                  "STRING-SPEC::|!@-2|"
                  "STRING-SPEC::|!@|"
                  "STRING-SPEC::sub-2"
                  "STRING-SPEC::sub"
                  "STRING-SPEC::subFromTo-3"
                  "STRING-SPEC::subFromTo"
                  "STRING-SPEC::++-2"
                  "STRING-SPEC::!++"
                  "STRING-SPEC::|!forall?-1-1|"
                  "STRING-SPEC::|!forall?|"
                  "STRING-SPEC::|!exists?-1-1|"
                  "STRING-SPEC::|!exists?|"
                  "STRING-SPEC::map-1-1"
                  "STRING-SPEC::|!map|"
                  "STRING-SPEC::flatten"
  
negative.code:                 "String-Spec::subFromTo"
                  "String-Spec::++-2"
                  "String-Spec::!++"
                  "String-Spec::forall?-1-1"
                  "String-Spec::forall?"
                  "String-Spec::exists?-1-1"
                  "String-Spec::exists?"
                  "String-Spec::map-1-1"
                  "String-Spec::|!map|"
                  "String-Spec::flatten"
  