is the conditional expectation of given
is a fixed value, but is a random variable (it is a function of )
does not work on the right hand side:
Conditioning on the same variable:
If is difficult to find directly, we can use the variance decomposition to condition the variance on another variable.