Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Sat, 8 Oct 1994 17:09:49 +0100
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA22839;
          Sat, 8 Oct 1994 10:09:43 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from vanuata.dcs.gla.ac.uk by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA22835;
          Sat, 8 Oct 1994 10:09:41 -0600
Received: from switha.dcs.gla.ac.uk by vanuata.dcs.gla.ac.uk with SMTP (PP);
          Sat, 8 Oct 1994 17:03:12 +0100
To: info-hol@leopard.cs.byu.edu
Cc: tfm@dcs.gla.ac.uk
Subject: Puzzle - erratum.
Date: Sat, 08 Oct 1994 17:03:10 +0100
From: "Tom. F. Melham" <tfm@dcs.gla.ac.uk>
Message-ID: <"swan.cl.cam.:141640:941008161026"@cl.cam.ac.uk>


Most of you will have guessed that the line 

   since whenever g(x) = g(y), f(g(x)) = f(x) = f(y) = f(g(y)).

in my informal proof should have been

   since whenever g(x) = g(y), h(g(x)) = f(x) = f(y) = h(g(y)).

Sorry about that.

Tom