1: \begin{abstract}
2: Our main result is that if $A$ is a finite subset of an abelian group with $|A+A| \leq K|A|$, then $2A-2A$ contains an $O(\log^{O(1)}K)$-dimensional coset progression $M$ of size at least $\exp(-O(\log^{O(1)}K))|A|$.
3: \end{abstract}
4: