rewrite spec