Rank-3 scale theorems: Difference between revisions

@@ Line 100: / Line 100: @@
   X...XZZZ...Z (suffix = at most c+1 Z's)
-[get two intervals in w_Y with two numbers of Z's, then get two numbers of Y's in w by the fact that w_X is a mos]
+[Get two subwords s_1, s_2 in w_Y with two numbers of Z's, then get t_1, t_2 in w with two numbers of Y's by the fact that w_X is a mos]
 ====== PMOS implies AG (except in the case xyxzxyx) (WIP) ======