started work on the inequality bv subtheory