Rewrite the example