1: \begin{definition}\longthmtitle{Incentive to

2:     collude}\label{def:incentive-collude}

3:   Let $r > 0$ and assume that the stepsizes for any execution

4:   of~\eqref{eq:collusion-dyn} satisfy the hypotheses of

5:   Theorem~\ref{th:convergence}. Then, the group of generators $\JJ$

6:   has an \emph{incentive to collude} under the \baalgo if there exists

7:   an execution of~\eqref{eq:collusion-dyn}, a generator $\nt \in \JJ$,

8:   and $l \in \integerspositive$ such that

9:     \begin{align}

10:       u_{\nt}(b_{\nt}(k), x_{\nt}^{\opt}(k)) > u_{\nt}^{\max},

11:       \label{eq:collude-dev-crit}

12:     \end{align}

13:     for all $k \ge l$, where $u_{\nt}^{\max}$ is

14:     defined in~\eqref{eq:umax}.

15: \end{definition}

16: