This is a demo page.
For the outline of this talk, see here.
... and now for a cute photos involving a cat:
