$newline never
_{MsgExamCorrectHeadDate} _{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}