Item 3.3.5.b.

If the door is closed, then the light is off.

in-context