1: \begin{abstract}

2: The main goal of this chapter is to construct finitely generated groups of $C^{k,\alpha}$ diffeomorphisms of a compact 

3: one--manifold that cannot be embedded into the group of  $C^{k,\beta}$ diffeomorphisms for $\beta$ ``sufficiently smaller'' than $\alpha$. 

4: There are two crucial ingredients for such a construction. One is the Slow Progress Lemma from the previous chapter, 

5: which roughly asserts that for finitely generated group actions by diffeomorphisms, the smoother the action the slower it

6: expands covering lengths of an interval.

7: The other is an explicit construction of a finitely generated $C^{k,\alpha}$ diffeomorphism group that expands covering 

8: lengths faster than the rate allowed by the Slow Progress Lemma for $C^{k,\beta}$ diffeomorphism groups.

9: We will establish a result for this second ingredient in the case of a compact interval, and generalize the result to circles using 

10: the material from preceding chapters.

11: We conclude the chapter with consequences regarding H\"older regularities $C^r$ for $r\in[1,\infty)$. \end{abstract}

12: