Theorem 1.3 (RegLem) For every ǫ > 0 and positive integer m, there exist two integers M(ǫ,m) and N(ǫ,m) with the property that, for every graph G with n ≥ N(ǫ,m) vertices, there exists a partition of the vertex set into k + 1 classes V = V0 + V1 + · · ·+ Vl such that • m ≤ l ≤ M(ǫ,m) • |V0| < ǫn • |V1| = |V2| = · · · = |Vl| • For distinct i, j 6= 0, all but at most ǫl2 of the pairs (Vi, Vj) are...