Probability – rules, Venn, conditional