Rank-3 scale theorems: Difference between revisions

@@ Line 96: / Line 96: @@
 where u_L and u_s are the larger and smaller B_0-steps of w_X.
-Eliminating Y from w, w_Y is a mos (with letters X and Z). Consider chunks of Z bounded by X's, of sizes c and c+1. Within any contiguous subword of A_0-many X's, the number of Z's will be within [K, K+c+1], for some constant K:
+Eliminating Y from w, w_Y is a mos (with letters X and Z). Consider chunks of Z bounded by X's, of sizes c and c+1. Within any contiguous subword with A_0-many X's, the number of Z's will be within [K, K+c+1], for some constant K:
-  XXX...XZZZ...Z (suffix = at most c+1 Z's)
+  X...XZZZ...Z (suffix = at most c+1 Z's)
 ====== PMOS implies AG (except in the case xyxzxyx) (WIP) ======