Jim added proof file
Merge pull request #5 from jmzullo/master

Jim Z pull request