It occurred to me that it would very useful if the Latex bundle could let one know whenever a \ref{X} occurs before \label{X}.  When you cut and paste sections, you have to check mentally that the logical  order is preserved.     Sometimes, of course, you wish the order to be reversed, as in  "This theorem will be generalized later in \ref{X}", but this is the exception rather than the rule.  It would helpful to see a list of exceptions in a separate window on command such as with the handy TODO command.   

This seems a natural problem for this group to tackle and would benefit many grad students now writing their theses.