finish up the two proofs for side-by-side comparison