Proofs for the next issue, pinned for review.

Lines 1
Start of the conversation