evaluation rewritting introduction