add the exemple for the decision of diagnosticability