  However, if we add a true static law saying that if the ignition is on and the engine isn’t running the battery is dead, we get an anomaly. With the addition of this law, there is a model in which preserving the fact that the car is not running makes the battery become dead when the ignition is turned on.