Theories Of Failure Formulas