  Given a $T$-rough definably amenable $T$-rough approximate subgroup $A$ of a
group in some first-order structure, there is a type-definable subgroup $H$
normalised by $A$ and contained in $A^4$ of bounded index in $\langle
A\rangle$.
