Nice work, folks! I've organized this a bit and put a lot of it into the next lecture, [Lecture 64](https://forum.azimuthproject.org/discussion/2298/lecture-64-chapter-5-the-category-of-enriched-profunctors/p1).