Trivial rewrite