more on venn diagram