I will soon move on from this enriched profunctor business and talk about other things, but it'll be good if some of you folks can prove the snake equations to make me feel you've got enriched profunctors down pat.