Changed Venn to reflect proper div function