What a silly thing to be pedantic about. It doesn't change anything - the output could get stuck at either state. Moreover, it was meant as an easily understood

What a silly thing to be pedantic about. It doesn't change anything - the output could get stuck at either state. Moreover, it was meant as an easily understood example. Can you really not envision a software bug that would lock someone in the car? The point is, the mechanical design should allow the occupant to get out, regardless of any fault in the electronics or software.