I tried to respond to a comment from James Bach, but surpassed the 3000-character limit, so I’ve decided to add this long comment as a short article.
This is a companion discussion topic for the original entry at https://blog.thecodewhisperer.com/permalink/interlude-basic-correctness