When you can't compute directly, condition on something you can. If is a partition of the sample space — pairwise disjoint and jointly covering all of — then for any event :
The pieces are usually easier than the whole. To compute , condition on whether the wind shifts overnight; to compute , condition on which subsystem went down.
The same idea works for expectations:
This is the engine behind recursive expectation problems. The classic example: the expected number of fair-coin flips until two heads in a row. Let be the expectation from a clean state and the expectation after seeing one head. Conditioning on the next flip gives a small linear system you can solve in seconds.