+% Setting hypertexnames=false forces hyperref to use a consistent
+% internal counter for proposition/equation references rather than
+% being clever, which doesn't work after we reset those counters.
+\usepackage[hypertexnames=false]{hyperref}
+\hypersetup{
+ colorlinks=true,
+ linkcolor=blue,
+ citecolor=blue
+}
+
+% We have to load this after hyperref, so that links work, but before
+% mjotex so that mjotex knows to define its glossary entries.