premise: Google uses text-matching to find web pages containing a particular text
hypothesis: text-matching is best characterized as a kind or type of checking program, defined as 'a program that examines other computer programs for syntax errors' .