Changed Venn to reflect proper div function
Merge pull request #1 from katzkode/Edits-Jacob

Changed Venn to reflect proper div function