checkedint call removal

[Tofu Ninja via Digitalmars-d]

On Saturday, 2 August 2014 at 04:46:43 UTC, Chris Cain wrote:

> No. You can verify it but find it to be false. Your proof would 
> show it to be false. The fact that you can write a proof 
> showing it to be false is a proof that it was verifiable in the 
> first place.

I think if one says they are going to prove something, they
implicitly mean they are going to prove it to be true. And if one
says they are going to disprove something, they implicitly mean
they are going to prove it to be false.

I think that might be causing a bit of misinterpretation.