Similar to the law of total expectation, easier for me to think of partitioning a weighted mean :)