Merge pull request #19 from DanGrayson/master

my latest work
capitalize Coq