Comment by closewith

> That is, the job of a professional programmer includes having produced code that they understand the behavior of.

I have met maybe two people who truly understood the behaviour of their code and both employed formal methods. Everyone else, including myself, are at varying levels of confusion.