Initial in rewrite