\relax 
\newlabel{closure}{{1}{31}}
\newlabel{closureImp}{{2}{32}}
\newlabel{DCCLemma}{{}{33}}
\newlabel{activeS}{{}{34}}
\newlabel{stepOne}{{}{34}}
\newlabel{orLeft}{{}{34}}
\newlabel{cRestr}{{}{34}}
\newlabel{existsCase}{{}{34}}
\newlabel{termModel}{{}{35}}
\newlabel{term}{{4}{36}}
\newlabel{Formclaim}{{}{36}}
\newlabel{completeness}{{6}{37}}
\newlabel{contr-rule}{{7}{37}}