More
soon
...but for now, here's the
notes from lecture
...