Proof Technology And Computation door