La cuestión de qué significa exactamente "debilitarse seriamente" admite la solución siguiente: formula_3 será relevante si, al creer que es falsa (formula_6), formula_1 ya no estaría justificada.