abstract: The usual metric definition of quasiconformality based on the infinitesimal distortion of shapes implies the analytic definition in the euclidean setting. Moreover, it suffices to assume that this distortion be infinitesimally bounded in a "liminf" sense and one can allow for an exceptional set. In the Carnot group setting this was known provided "liminf" was replaced by "limsup" and no exceptional set was allowed. We will describe a recent joint work with Balogh and Rogovin, where we establish the full analog of the euclidean result for Carnot groups.