Venn diagram calculations