more work for bv proofs