moreover,formula_186 if and only if there is some index,formula_1,where formula_188.