PROOF AND COMPUTATION II