rewrite examples