From owner-freebsd-questions@FreeBSD.ORG  Wed Jun  9 08:12:28 2004
Return-Path: <owner-freebsd-questions@FreeBSD.ORG>
Delivered-To: freebsd-questions@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 86BCB16A4CE
	for <freebsd-questions@freebsd.org>;
	Wed,  9 Jun 2004 08:12:28 +0000 (GMT)
Received: from mail.u4eatech.com (blackhole.u4eatech.com [195.188.241.2])
	by mx1.FreeBSD.org (Postfix) with ESMTP id B168843D1D
	for <freebsd-questions@freebsd.org>;
	Wed,  9 Jun 2004 08:12:27 +0000 (GMT)
	(envelope-from richard.williamson@u4eatech.com)
Received: by mail.u4eatech.com (Postfix, from userid 503)
	id CA64636017F; Wed,  9 Jun 2004 09:11:31 +0100 (BST)
Received: from apus.u4eatech.com (apus.degree2.com [172.30.40.129])
	(using TLSv1 with cipher DES-CBC3-SHA (168/168 bits))
	(No client certificate requested)
	by mail.u4eatech.com (Postfix) with ESMTP id B352436016F
	for <freebsd-questions@freebsd.org>;
	Wed,  9 Jun 2004 09:11:28 +0100 (BST)
Message-Id: <6.1.0.6.2.20040609090515.0270ff60@cygnus>
X-Sender: richard@cygnus
X-Mailer: QUALCOMM Windows Eudora Version 6.1.0.6
Date: Wed, 09 Jun 2004 09:10:46 +0100
To: freebsd-questions@freebsd.org
From: "Richard P. Williamson" <richard.williamson@u4eatech.com>
In-Reply-To: <40C61BBF.2080008@Pandora.Be>
References: <40C5BCAC.6090401@circlesquared.com>
 <40C5E758.5050406@circlesquared.com>
 <20040608123647.2cab2e91.wmoran@potentialtech.com>
 <200406081019.30500.kstewart@owt.com>
 <20040608175255.GA4309@alexis.mi.celestial.com>
 <40C61BBF.2080008@Pandora.Be>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
X-Spam-Checker-Version: SpamAssassin 2.63 (2004-01-11) on mail
X-Spam-Level: 
X-Spam-Status: No, hits=-4.9 required=5.0 tests=BAYES_00 autolearn=ham 
	version=2.63
Subject: Re: [OT] What's "QED"? (was Re: Wisdom of automating upgrades)
X-BeenThere: freebsd-questions@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: User questions <freebsd-questions.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-questions>,
	<mailto:freebsd-questions-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-questions>
List-Post: <mailto:freebsd-questions@freebsd.org>
List-Help: <mailto:freebsd-questions-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-questions>,
	<mailto:freebsd-questions-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 09 Jun 2004 08:12:28 -0000

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