formula_6 se dice contiene testigos si y solo si para cada fórmula de la forma formula_27 existe un término formula_28 tal que formula_29.