1: \begin{definition}

2: \label{def:CondExpectSA1}

3: Given a partial slot allocation $\psa$, define: 

4: $$\exr{\psa}:=\mathbb{E}\left(\sum_{\lk\in\ur}\sat{\sla}{\lk}\uw{\lk}\Bigg|\sla\in\sfa{\psa}\right)$$

5: where $\mathbb{E}$ denotes the expectation.

6: $\exr{\cdot}$ appears in Algorithm~\ref{A2} and is computed in Algorithm~\ref{A3} (see Theorem~\ref{theorem:SA1ExpectCorrectness}).

7: \end{definition}

8: