Consider the operation of a light switch. Initially, the light is off. Once a button is pressed, the light is turned on$.$ To turn the light off, the button has to be released and pressed again. Model the light switch as Kripke structure. Clearly identify what are the worlds, and the two functions. Draw the state diagram as well