1: \begin{definition}\label{def:TameCritical}  We say that two $\nu$-measurable subsets $A, B$ of $G$ form a \emph{critical pair} if $\nu_{*}(A+B)<\nu(A)+\nu(B)$.  We say they form a \emph{tame critical pair} if, in addition, $A+B$ is $\nu$-measurable, the stabilizer $H:=H(A+B)$ is $\nu$-measurable, and

2: 	\begin{equation}\label{eqn:PushInequality}

3: 	\nu(A+B)=\nu(A+H)+\nu(B+H)-\nu(H).

4: 	\end{equation} In other words, $A, B$ is a tame critical pair if it satisfies the conclusion of Theorem \ref{thm:Satz1}.  \end{definition}

5: