Finish draft of proofs description