Formal Diagnosis