System.Out.println("Entering switch state s1") System.Out.println("Entering switch state s2"); true true send(0.0, theLight(), Light-Active.turnOn() true true send(0.0, theLight(), Light-Active.turnOff() System.Out.println("Entering light state s1") System.Out.println("Entering light state s2"); true true theSwitch().setLight(theLight()) send(0.0, theSwitch(), Switch-Active.turnOn() sw1 lt1