First batch of reading files.
Add probabilities an intro
Second batch of proofs read