Considering confidence values of formulas