Merge pull request #2 from nhaehnle/master

Pull probability stuff
Add some missing corollary; suggest a different proof of some lemma
Merge pull request #5 from anherm/master

Some changes