  We illustrate the use of probability theory in existential proofs, focusing
on the Lov\'asz Local Lemma. This result gives a lower bound for the
probability of avoiding a suitable finite collection of events. We describe
some applications of this result in hypergraph packing and Latin transversals.
