Tag: value of formal diagnosis