No result about Smodin Rewriter