Moreover, when you get an existence proof of a bug, it's usually easy to change such a system to seem ok. As Hoare also said, "There are two methods in softwar

Moreover, when you get an existence proof of a bug, it's usually easy to change such a system to seem ok. As Hoare also said, "There are two methods in software design. One is to make the program so simple, there are obviously no errors. The other is to make it so complicated, there are no obvious errors."