Of Course Our Program is Error-Free—Not!