John Regehr on "Use of Assertions"

[Walter Bright]

On 9/5/2018 4:55 PM, Timon Gehr wrote:
> John rather explicitly states the opposite in 
> the article.

I believe that his statement:

"it’s not an interpretation that is universally useful"

is much weaker than saying "the opposite". He did not say it was "never useful".

For example, it is not universally true that airplanes never crash. But it is 
rare enough that we can usefully assume the next one we get on won't crash.