Note that at the conclusion of the proof, the system reminds you of the earlier Warning.
It is a good idea, when the Q.E.D. flys by, to see if there were any Warnings.
