Hacker News Reader

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

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

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.

Reply on news.ycombinator.com