Rewriting and extending examples.