more bv rewrites