rewrites overline