Semantics and Rewriting