Evening, all. I'd like to try to do another run-through of my POPL talk tomorrow afternoon at about 3:30, just after Matthias gets out of class. We'll grab 366 or something. Apologies for the late notice, but if you can make it, I'd love to get your feedback. Thanks, Richard