@DavidCarlisle -- no, problem doesn't go away. we still are unable to get the proper result for
\ref
on a label to a theorem, because
\begin{enumerate}
screws up the relationship. take a look at the ugly workaround we've been living with:
ams.org/tools/faq?faq_id=206