Proving things, updating things
Merge pull request #3 from jasonrhodes/master

Proving things, updating things