\relax 
\newlabel{eq:prop}{{1}{2}}
\newlabel{eq:sa}{{2}{3}}
\newlabel{eq:utof1}{{3}{3}}
\newlabel{eq:prob1}{{4}{3}}
\newlabel{eq:utof0}{{5}{3}}
\newlabel{eq:prob0}{{6}{3}}