Slides up for Symposium on differentiation in category theory and program semantics (Kyoto, April 6-8)