Rewrite rule for SAE