A talk on parametricity