$newline never
_{MsgExamCorrectHeadParticipant} ^{iconTooltip participantHeadTooltip Nothing True} $forall ExamPart{examPartNumber,examPartName} <- examParts $maybe name <- examPartName _{MsgExamCorrectHeadPart examPartNumber} _{MsgExamCorrectHeadPartName name} $nothing _{MsgExamCorrectHeadPart examPartNumber} _{MsgExamCorrectHeadStatus}
$forall ExamPart{examPartNumber} <- examParts ^{ptsInput examPartNumber}