\beamer@slide {eq:prob.tc}{5}
\beamer@slide {prop:unique.ext.tcsm}{7}
\beamer@slide {prop:lucases}{14}
\beamer@slide {prop:lucases.a}{14}
\beamer@slide {prop:lucases.b}{14}
\beamer@slide {prop:lucases.c}{14}
\beamer@slide {prop:lucases.d}{14}
\beamer@slide {def:w.inconsistent}{16}
\beamer@slide {eq:prob.sm}{16}
\beamer@slide {def:w.disj}{16}
\beamer@slide {def:w.conj}{16}
\beamer@slide {def:w.empty}{16}
\beamer@slide {eq:def.prob}{16}
\beamer@slide {eq:def.prob.event}{16}