Sure, I can agree with that — it’s way too hard to prove a big system isn’t buggy. So then you also can’t use its output as evidence in court, right? You have to have other evidence that you can prove isn’t faulty. Can’t have it both ways.