m.b.  rewrite(exp)?