First rewrite
Finished rewrite