[OT] What's "QED"? (was Re: Wisdom of automating upgrades)

[Richard P. Williamson]

At 21:04 08/06/2004. Jos De Laender had this to say:
>Quod erat demonstrandum is correct. The translation is rather : what needed to be proven, what needed to be demonstrated ...
>(although this is probably very poor English :-) )

That which was to be demonstrated, is the closest conceptually.

It is used at the end of proofs to show that you are finished
proving what you had originally theorized.  

Theory:  Windoze installations are unreliable.
Proof:
  I turned it on.
  It was hacked into an open proxy.
  It contracted several hundred worms.
  It crashed.
QED.

rip