[Gifford]

But computer programmers are logical by training and profession, so we can trust that our own analyses are always correct.