Return-Path: <linux-kernel-owner+willy=40w.ods.org@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id <S262446AbSKTTDQ>; Wed, 20 Nov 2002 14:03:16 -0500
Received: (majordomo@vger.kernel.org) by vger.kernel.org
	id <S262425AbSKTTDQ>; Wed, 20 Nov 2002 14:03:16 -0500
Received: from mail-01.med.umich.edu ([141.214.93.149]:29031 "EHLO
	mail-01.med.umich.edu") by vger.kernel.org with ESMTP
	id <S262446AbSKTTDO> convert rfc822-to-8bit; Wed, 20 Nov 2002 14:03:14 -0500
Message-Id: <sddb96af.096@mail-01.med.umich.edu>
X-Mailer: Novell GroupWise Internet Agent 6.0.2
Date: Wed, 20 Nov 2002 14:09:41 -0500
From: "Nicholas Berry" <nikberry@med.umich.edu>
To: <andre@linux-ide.org>, <alan@lxorguk.ukuu.org.uk>
Cc: <riel@conectiva.com.br>, <linux-kernel@vger.kernel.org>,
       <ross@willow.seitz.com>
Subject: Re: spinlocks, the GPL, and binary-only modules
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 8BIT
Content-Disposition: inline
Sender: linux-kernel-owner@vger.kernel.org
X-Mailing-List: linux-kernel@vger.kernel.org
Content-Length: 817
Lines: 32



>>> Andre Hedrick <andre@linux-ide.org> 11/20/02 01:57PM >>>
<snip>

> The double negative unwrapped:

> "Being a module doesnt make it not a derivative work."

> 'Being a module does (not) make it not a derivative work.'
> 'Being a module does (not) make it (not) a derivative work.'

> 'Being a module does make it a derivative work.'

> Is this the intent of the statement?

> Andre Hedrick
> LAD Storage Consulting Group

Logical fallacy. You're converting a universal proposition.

Not being on lkml does not make me a fool !=
Being on lkml  makes me a fool.

Nik


-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/