Probability with Venn diagrams