1: \begin{definition}[Bayesian Nash equilibrium]	 \label{def:bayesianne}

2:   The strategy profile $\boldsymbol{s}^*$ is a pure strategy Bayesian Nash equilibrium (BNE)\footnote{Alternatively, we may define the BNE based on each user $i$'s \emph{ex-interim} expected utility $EU_i(\bs{s}_i, \bs{s}_{-i}^*|\bs{\theta}_i)$ \cite{shoham_ma08}, where user $i$ knows his own type $\bs{\theta}_i$. In this case, the strategy profile $\boldsymbol{s}^*$ is a pure strategy BNE if $\bs{s}_i^* = \argmax_{\bs{s}_i \in \mc{S}_i} EU_i(\bs{s}_i, \bs{s}_{-i}^*|\bs{\theta}_i), \, \forall \, \bs{\theta}_i \in \Theta_i, i \in \mathcal{I}$. However, Theorem I in \cite{harsanyi_gw68} showed that such an alternative definition is equivalent to the BNE defined in \eqref{equ:bne_exante}, where user $i$ knows nothing about any user's actual type (including his own type).} if

3: %

4: \begin{equation} \label{equ:bne_exante}

5: 	%EU_i(\boldsymbol{s}_i^*, \boldsymbol{s}_{-i}^*) \geq EU_i(\boldsymbol{s}_i, \boldsymbol{s}_{-i}^*), \, \forall \, \boldsymbol{s}_i \in \mathcal{S}_i, i \in \mathcal{I}. 

6: 	\bs{s}_i^* = \argmax_{\bs{s}_i \in \mc{S}_i} EU_i(\bs{s}_i, \bs{s}_{-i}^*), \, \forall \, i \in \mathcal{I}.	

7: \end{equation}

8: % 	

9: \end{definition}