Rewriting from scratch (Kind of)