update State Machine motivation and examples