langtech - Revision 197624: /trunk/plan/proof