Rewrited specs