Homework on §5.1—assigned Fri 10/6 and due Mon 10/9
Analyze (and, if necessary, restate the result with all arrows running left to right as well as restating it using English notation):