pref rewrite
pref rewrite