) we say that a turing machine is verbose on w if, at the completion of its computation on w, it leaves at least as many non-blank characters on the left of the tape as w has. let verbose