rewrite the example