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 ; 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 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: But, I believe that we can get Real Mathematicians involved if we come up with something that interests them. (Which we can do.) Woody