That means that we don't need to know w to compute how long the boolean
expression is.  We do, however, need to know M, since M was quantified
earlier.  That is, the words, "There exists a function ..." occur
after the words "Fix a Turing Machine M"