Tower property of conditional expectation ($\mathbb{E}[\mathbb{E}[X\mid \mathcal{G}]]=\mathbb{E}[X]$)

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