More crazy rewriting