Traditional engineering is a lot messier than you make it look. Things are out of specs all the time, and engineers have to deal with that all the time. It is

Traditional engineering is a lot messier than you make it look. Things are out of specs all the time, and engineers have to deal with that all the time. It is even worse because while you can prove a program mathematically correct, reality only has a passing interest in mathematical correctness.