simplify Venn diagram, doc and stuff