more work on inequality reasoning for bv