Contract Diagnosis