The part where we don’t understand the proofs!