Slides for talk on parametricity