Due: Wednesday, June 30th 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.
Once you have your PDF write up, Create a html page named hw1.html and create a relevant link to your pdf write up.
Submit the following using Gradescope: