[m463]

∃x car-with-good-control-design(x)

but not ∀ cars or ∀ manufacturers and not ∀ cars of any manufacturer

[panxyh]

All major car manufacturers do indeed have experience or access to experience in critical control design. The problem isn't in their abilities but in their choices.