under rewriting