(\overline{\Lambda}_n)}^{\mathrm{ ES}}     (     f \mathds{0}_{\{\Lambda_n(\cdot)= \overline{\Lambda}_n\}}|      \cdot     )     \big)     \\     =     \nu(f \mathds{0}_{\{\Lambda_n(\cdot)\not\supset \Delta\}}) +      \sum_{\overline{\Lambda}_n(\cdot)\supset \Delta}     \nu     \big(     \