Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2006-04-04 14:34:53 -0700 (Tue, 04 Apr 2006)
Revision: 9020
Log message:

      Updated the proof with Aleksey's improved forwardT implementation.