Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-02-21 20:05:06 -0800 (Tue, 21 Feb 2006)
Revision: 8772
Log message:

      This version, rather than having Reflect_foo extend Foo,
      just copies the terms from Foo into Reflect_foo verbatim.
      
      Otherwise, there is no logical relation between the
      theories.