bv resolution proof of conflicts checks!