They can remove this section if need be:
//************* //when the LED is ON, was the switch pushed ? . . .