\relax 
\newlabel{mpdef}{{22}{0}}
\newlabel{dmpdef}{{23}{0}}
\newlabel{mshyp}{{28}{0}}
\newlabel{msconcl}{{29}{0}}