It's almost more valuable for the programmer to stick in asserts so
that his own logic, he's checking his own logic.
I always tell my students, the asserts seem like none sense.
I know I got that right.
So, I don't, why are you bothering to ask me bring this?
I say you think you got it right, but it's very easy to make a simple mistake
like a less than sign for a greater than sign.
So, the actual additional discipline is just like writing comments,
you should write your comments as you write code.
Because they're reminders to you of what the code is supposed to do.
And they give you better design insight, and they give you more high quality code,
and they make the code more readable.
And the same is just completely true of asserts.
So if you haven't been using asserts in your C or C++ coding,
it's very variable to move over and start using them and even using them generously.
Here's a simple example.