simplified to keep only venn4