simplify with-prefix