Two events$A$ and $B$ are independent if the probability of one event does not influence
the probability of the other. More formally, for $A$ and $B$ to be independent,
we require that $\mathrm{Pr}(A \textrm{ and } B)$ is equal to $\mathrm{Pr}(A) \times \mathrm{Pr}(B)$.
