add proof of law of iterated expectations
add random variables handout