From owner-freebsd-advocacy  Thu Dec 20 14:32:46 2001
Delivered-To: freebsd-advocacy@freebsd.org
Received: from freebie.atkielski.com (ASt-Lambert-101-2-1-14.abo.wanadoo.fr [193.251.59.14])
	by hub.freebsd.org (Postfix) with ESMTP
	id 5088F37B405; Thu, 20 Dec 2001 14:32:41 -0800 (PST)
Received: from contactdish ([10.0.0.10])
	by freebie.atkielski.com (8.11.3/8.11.3) with SMTP id fBKMWcR30073;
	Thu, 20 Dec 2001 23:32:38 +0100 (CET)
	(envelope-from anthony@freebie.atkielski.com)
Message-ID: <026b01c189a6$3bb4b6c0$0a00000a@atkielski.com>
From: "Anthony Atkielski" <anthony@freebie.atkielski.com>
To: "John Baldwin" <jhb@FreeBSD.org>
Cc: <advocacy@FreeBSD.org>,
	"Gilbert Gong" <ggong@cal.alumni.berkeley.edu>,
	"Jeremiah Gowdy" <jeremiah@sherline.com>
References: <XFMail.011220135658.jhb@FreeBSD.org>
Subject: Re: Microsoft Advocacy?
Date: Thu, 20 Dec 2001 23:32:39 +0100
Organization: Anthony's Home Page (development site)
MIME-Version: 1.0
Content-Type: text/plain;
	charset="Windows-1252"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2600.0000
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000
Sender: owner-freebsd-advocacy@FreeBSD.ORG
Precedence: bulk
List-ID: <freebsd-advocacy.FreeBSD.ORG>
List-Archive: <http://docs.freebsd.org/mail/> (Web Archive)
List-Help: <mailto:majordomo@FreeBSD.ORG?subject=help> (List Instructions)
List-Subscribe: <mailto:majordomo@FreeBSD.ORG?subject=subscribe%20freebsd-advocacy>
List-Unsubscribe: <mailto:majordomo@FreeBSD.ORG?subject=unsubscribe%20freebsd-advocacy>
X-Loop: FreeBSD.ORG

John writes:

> Some said (rough paraphrase):
>
> FreeBSD is suitable for use as a desktop for
> specific circumstances.
>
> This is equivalent to:
>
> FreeBSD is suitable for use as a desktop for
> at least one circumstance.
>
> Jeremiah replied with:
>
> "I do not agree."
>
> Which is equivalent to:
>
> FreeBSD is not suitable for use as a desktop
> for at least one circumstance.
>
> Which is equivalent to:
>
> FreeBSD is not suitable for use as a desktop
> for any circumstance.

Your logic is flawed.  Your last two conclusions do not follow from the
first three statements.

Consider this:

SomeoneBelieves = OSFree && Suitability && Desktop && Specific;
JeremiahBelieves = !(OSType && Suitability && Desktop && Specific);

Some  Jere  OSFree  Suitability Desktop Specific
true  false  true       true      true    true
false true   true       true      true    false
false true   true       true      false   true
     [...]
false true   false      false     false   false

Notice that there are multiple values of each variable that would make
JeremiahBelieves true, and not just one.  Therefore you cannot conclude that
one of the variables (Specific = specific circumstances, as opposed to any
circumstances) has necessarily changed state to make JeremiahBelieves true;
any one of the variables changing to false will make JeremiahBelieves true.
Therefore your conclusion above does not follow logically.

Now I'm getting worried about spin mutexes and locks.  Are you completely
sure about those?





To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-advocacy" in the body of the message