Do the "Additional exercise, on paper" (below) and upload it as proof.pdf.
Add a README comment at the top of Poly.v describing who you helped (or got help from), and what kind of help.
