$maybe cID <- mcid
$case sheetSubmissionMode $of SubmissionMode False Nothing

_{MsgSubmissionNoUploadExpected} $of _

Archiv (Original) $maybe fileTable <- mFileTable

_{MsgSubmissionFiles} ^{fileTable} $if maySubmit && not (null lastEdits)

_{MsgLastEdits}