"The number one benefit of information technology is that it empowers people to do what they want to do."
In the era of smart cars, software defines the vehicle.
The aim of proof is to understand, not just to verify.