\beamer@slide {prop:lucases.a}{4}
\beamer@slide {prop:lucases.b}{4}
\beamer@slide {prop:lucases.c}{4}
\beamer@slide {prop:lucases.d}{4}
\beamer@slide {eq:prob.tc}{5}
\beamer@slide {def:w.inconsistent}{9}
\beamer@slide {eq:prob.sm}{9}
\beamer@slide {def:w.disj}{9}
\beamer@slide {def:w.conj}{9}
\beamer@slide {def:w.empty}{9}
\beamer@slide {eq:def.prob}{9}
\beamer@slide {eq:def.prob.event}{9}