Definition: *case-sensitive-string*
(defconst *case-sensitive-string* (rulename "case-sensitive-string"))