Do you have a car? Do you really want to wait for humans to reprogram air traffic control software unassisted, with no formal correctness guarantees? Your att

Do you have a car? Do you really want to wait for humans to reprogram air traffic control software unassisted, with no formal correctness guarantees? Your attitude is fine if you plan to walk everywhere.