> In incorrect code, the branches are taken, but code without the branches just behaves unpredictably. It's like seat belts. E.g. what if we drive four blocks

> In incorrect code, the branches are taken, but code without the branches just behaves unpredictably. It's like seat belts. E.g. what if we drive four blocks and then the case occurs when the seatbelt is needed need the seatbelt? Okay, we have an explicit test for that. But we cannot test everything. We have not tested what happens if we drive four blocks, and then take a right turn, and hit something half a block later. Screw it, just remove the seatbelts and not have this insane untested space whereby we are never sure whether the seat belt will work properly and prevent injury!