Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: Notesfiles $Revision: 1.7.0.10 $; site uiucdcs
Path: utzoo!watmath!clyde!cbosgd!ihnp4!inuxc!pur-ee!uiucdcs!mcewan
From: mcewan@uiucdcs.CS.UIUC.EDU
Newsgroups: net.jokes.d
Subject: Re: Re: IDIOT TEST ***SPOILER***  S
Message-ID: <22300032@uiucdcs>
Date: Sun, 9-Feb-86 16:27:00 EST
Article-I.D.: uiucdcs.22300032
Posted: Sun Feb  9 16:27:00 1986
Date-Received: Tue, 11-Feb-86 07:12:34 EST
References: <2617@sdcrdcf.UUCP>
Lines: 28
Nf-ID: #R:sdcrdcf.UUCP:2617:uiucdcs:22300032:000:815
Nf-From: uiucdcs.CS.UIUC.EDU!mcewan    Feb  9 15:27:00 1986


>>
>>Of course it wouldn't be "legal". In order for it to be, both parties
>>must give their consent (willingly, under US law and most other parts
>>of the world).  Show me a dead person who can give their consent and
>>I'll buy the Brooklyn Bridge.
>>--
>
>Then, likewise, you are saying that it is *illegal* for someone to
>kiss his own elbow, or to draw a square circle !!

*Sigh* Let L(x) = x is legal
	   M(x,y) = x can marry y
	   C(x) = X gives consent to marry
and	   D(x) = x is dead
then
	   D(x) => not C(x)
	   L(M(x,y)) => C(x) & C(y)
Therefore
	   D(x) => not C(x) => not (C(x) & C(y)) => not L(M(x,y))

This says nothing about elbows, squares or circles.

			Scott McEwan
			{ihnp4,pur-ee}!uiucdcs!mcewan

"Hideously disfigured by Indian curse? We can help! Call (511) 338-0959
 for an appointment."