In chapter four, they want you to use a pushbutton to control the LED. They tell you to build the circuit in figure 4-6. It shows using a 10k Ohm resistor on the negative side of the pushbutton. Either I am missing something, or forgetting something (most likely), but why do we need that resistor? Is it to protect the pushbutton, or to protect the input pin on the board?