typo
additional documentation for negation
Merge pull request #4 from amb43790/cmiller

Cmiller