Diagnostic assertions