Intros and rewrite