Semantics rewrite.