Rewriting specs