Prove that combinatorial objects exist by random construction, first- and second-moment arguments, alteration, and the local lemma.
