Move all the \small's outside the relevant math environments; this makes
TeX shut up about small in math mode, and also works more consistently.
Cite an additional source about recursion and duality, as well as the
submission from Glasgow.