Yeah, he should use "INPUT_PULLUP" for the button pin and remember that state==LOW means button is pushed.