> Applications that check and validate things automatically, even if it's hard and expensive.

Then you still need to be competent enough to to assess that this is the case. You can't judge code doing something correctly automatically if you don't even know what that thing is and can't do it yourself.