1: \begin{definition}

2: Define: 

3: 

4: \vspace{-0.13in}

5: {\footnotesize

6: $$\exs{\pap}:=\mathbb{E}\left(\sum_{\lk\in\ur}\sat{\sla}{\lk}\uw{\lk}\Bigg|\map\in\mas{\pap}\right)$$ }%

7: where $\sat{\sla}{\lk}$ is defined as in (\ref{eq:def_f}). $\exs{\cdot}$ appears in Algorithm \ref{A4} and is computed in Algorithm \ref{A5} (see Theorem~\ref{theorem:CorrectnessOfExpectationSA2}).

8: \end{definition}

9: