Changes by: Jason Hickey (jyh at cs.caltech.edu) Date: 2003-04-17 13:30:32 -0700 (Thu, 17 Apr 2003) Revision: 16 Log message:
The identity of exists is false, not true.