\relax 
\newlabel{Lterm}{{}{19}}
\newlabel{subst}{{1}{26}}
\newlabel{e:meaning}{{2}{28}}