Rewrite with simples semantics