Chapter 9.2
Chapter 9.3 without FSM