\relax 
\newlabel{CT}{{}{55}}
\newlabel{second_prop}{{}{58}}