Rewrite #2.
Rewrite #3.