I will discuss some aspects of Hrushovski's recent results of noncommutative Freiman type that were achieved using model-theoretic methods.