 Law of total expectation

Taking expectation after conditioning recovers the original expectation. More generally, if $\mathcal{H}\subseteq \mathcal{G}$, then