Because the code is the actual thing, tests can only show that the code fails in certain cases, they don’t actually prove the code is correct.