The first thing to notice is that because we need access to GPIO pin 17 to see whether the button is pressed, we need to use theRPi.GPIO library. We used this as an example of installing a module back in Chapter 5. Therefore, if you have not installedRPi.GPIO, refer back to Chapter 5 and do so now.