adjective distinguishing between upper-case and lower-case lettersusers can now perform case-sensitive searches