That analogy doesn't track. That's a maintainance task on the machine not a verifiability problem. That would be like the ENIAC needed Simone to look over every

That analogy doesn't track. That's a maintainance task on the machine not a verifiability problem. That would be like the ENIAC needed Simone to look over every result that came out of it with distrust.