$newline never
$maybe closed <- examClosed'
  _{MsgExamClosedSince closed}
$nothing
  <p>
    _{MsgExamCloseTip}
  <p>
    _{MsgExamCloseReminder}
  ^{closeView'}