[amw-zero]

This is why specification is much more important than verification / proof. We are bound by how accurate we make our propositions.

[randallholmes]

Both are very important.