Reasoning about code is a scam

Today I read Reasoning about code is a scam, itself a rather contrarian piece. But I enjoyed it.