langtech - Revision 197665: /branches/make-redo/plan/proof