The Summary of the Proof of the Trivial Consequence

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.