|      \mathscr{F}_{\overline{\Lambda}_n^c,\mathbb{B}_0     (\overline{\Lambda}_n)^c}     )     \big)     \\     =     \nu(f \mathds{0}_{\{\Lambda_n(\cdot)\not\supset \Delta\}}) +      \sum_{\overline{\Lambda}_n(\cdot)\supset \Delta}     \nu     \big(     \mathds{0}_{\{\Lambda_n(\cdot)= \overline{\Lambda}_n\}}     \phi_{\overline{\Lambda}_n,