_{MsgRules}

_{MsgInputAgainWhenHit}

_{MsgInputMove}

_{MsgInputNoviceMode}

_{MsgInputDifficulty} $forall (i, (msg, _)) <- indexedDifficultyList _{msg} $if development

---

_{MsgInputDevMode}