If their argument was about the insanity of no-one doing model checking, I'd be on board. But that's not their argument.