Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually antares9.mcs.anl.gov !OR! owner-qed@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Fri, 13 May 1994 00:21:58 +0100
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