rewrite rules: syntax