I was just wondering if there is any sort of consensus on the topic of when to number math expressions. For example different lines in a proof, these should be tagged or not tagged?