rewrite for simplification, +usage