Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-11-10 12:52:28 -0800 (Thu, 10 Nov 2005)
Revision: 8161
Log message:

      Added the new explicit witness to Filter_reflection.