1: \begin{definition}[$\corralg_{\epsilon}$]

2: %Given algorithm $\alg$ and $\epsilon > 0$,

3: %the {\em statistically ironed mechanism with correction}, $\corralg_{\epsilon}$, is as follows.  Take $\epsilon' = \epsilon/6kn^2$ and  $\stairfrac = 2(k-1)n\epsilon'$, where $k = \log_{1+\epsilon}(\val_{max}/\epsilon\mumax)$.  Construct $\statalg_{4n\epsilon'}$ as before, and subsequently ignore any agent for whom no feasible allocations were found during sampling in the construction of $\statalg_{4n\epsilon'}$.

4: %Then $\corralg_{\epsilon}$ is the algorithm $\corralg$ from Lemma \ref{lem.step} applied to algorithm $\statalg_{4n\epsilon'}$, where in the definition of the stair algorithm $S_i$ is any feasible allocation that includes agent $i$.  Additionally, The particular choice of $\epsilon'$ is motivated by the proof of Theorem \ref{thm.main.bic}, below.

5: %\end{definition}

6: