Probability in Venn diagrams