John_Maxwell comments on Why don’t people use formal methods?