A talk on assumptions ...

 ... can be found here.