rewrite some statements