It is now a simple matter to prove by induction on the degree of proofs that every provable statement has a proof of degree zero.
In the early going, the theorems, once correctly stated, are provable by the mechanized logic without human intervention.
If the verification condition is provable, then the computation matches its specification.
Of course, the provable propositions are the same, but the proofs are very different, indeed much shorter in deduction modulo.
In this case, transformation (4) would be provable in the calculus if were not a union type.
Many behavioral bits and pieces had been revealed, but no coherent, provable account of life histories had emerged.
What they do not begin to demonstrate are any clear, provable patterns of relationship between electoral styles and events, and particular political/policy outcomes thereafter.
This means that uniform proofs must exist for all provable sequents.