Since ψ 2 (v i,1 v i,2 ) ∈ [−2, 2], it follows that v i,1 must contain at least one occurrence of b.
ba 19 c 17 must be a substring of v i,1 = w i+1,1 , which shows that ( †) holds with i + 1 in place of i.