Conditional probability in Venn diagrams