TeX source:
P(A\;and\;B) = P(A)P(B)