 So if formula_26 and formula_28 are our confidences in formula_5 and formula_6 respectively, then formula_59 is the sought confidence in formula_49, and formula_61 is the combined confidence in formula_52.We require that
since our confidence formula_28 for formula_6 should not be less than our confidence formula_61 in the statement formula_52 from which formula_6 logically follows.This bounds the sought confidence formula_59, and one approach for turning formula_46 into a binary operation like formula_7 would be to make it as large as possible while respecting this bound