Comment by kendallgclark

The part where we don’t understand the proofs!