Also, the (exit) command is not included in Figure 4.1, but the text on page 50 states that "[i]f a command does not appear on any transitions originating from a mode, it is not permitted in that mode." Either the figure or (more likely) the text should be changed, so that it correctly describes in which modes (exit) is permitted. Best, Tjark