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 binary (or binary program), defined as 'a pre-compiled, pre-linked program that is ready to run under a given operating system; a binary for one operating system will not run on a different operating system' .