From owner-qed Thu May 12 18:16:50 1994
Received: from cs.utexas.edu (root@cs.utexas.edu [128.83.139.9]) by antares.mcs.anl.gov (8.6.4/8.6.4) with ESMTP id SAA16450 for <qed@antares.mcs.anl.gov>; Thu, 12 May 1994 18:16:35 -0500
Received: from ai.cs.utexas.edu (bledsoe@ai.cs.utexas.edu [128.83.120.3]) by cs.utexas.edu (8.6.9/8.6.9) with ESMTP id SAA25899; Thu, 12 May 1994 18:16:13 -0500
Received: by ai.cs.utexas.edu (8.6.9/Client-v1.4)
	id SAA12138; Thu, 12 May 1994 18:12:48 -0500
Date: Thu, 12 May 94 18:12:47 CDT
From: Woody Bledsoe <bledsoe@cs.utexas.edu>
To: beeson@cats.ucsc.edu
Cc: qed@antares.mcs.anl.gov, TRYBULEC%PLBIAL11.BITNET@ANLVM.CTD.ANL.GOV
Subject: Re: Rusty Lusks question
In-Reply-To: Your message of Thu, 12 May 1994 08:16:59 -0700
Message-ID: <CMM.0.90.0.768784367.bledsoe@ai.cs.utexas.edu>

But, I believe that we can get Real Mathematicians involved if we
come up with something that interests them.  (Which we can do.)

Woody