Proposed Table of Contents I Challenges and promises of proof technology 1.      Gila, Michael, and David: Intro 2.     ...