_{MsgSubmissionsAlreadyAssigned}

<ul>
  $forall (cID, _) <- alreadyAssigned'
    <li><pre>#{toPathPiece cID}