Rewrite most of the examples.