Due: Monday, April 5th by 11pm
In this assignment, you will practice reasoning about straight-line code, using both forward and backward reasoning, and verifying the correctness of some straight-line code.
Solve the problems given in this worksheet.
Feel free to rewrite the problems on a separate sheet. You do not have to turn in these exact pages with the blanks filled in (though you can do that as well). It is okay to submit a scanned copy of a hand-written document as long as it is legible, so you can also print the worksheet, write your answers on that, and scan it when done.
Submit your write up as a PDF in Gradescope.