FSM(0, AcceptingStates(), Transitions(
       t(0,ShowTitles(),1),
       t(1,SortByFirst(),2),
       t(2,SortByMostRecent(),3),
       t(3,ShowText(),4)),
       Vocabulary("ShowTitles","ShowText","SelectMessages","SelectTopics",
                  "SortByFirst","SortByMostRecent"))