Testing can expose errors, but it can’t prove correctness.