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