Figure 7. Making the tuner's state explicit
