more simple rewrite