That is exactly the reason why we have lonters, errors and limitations when programming.

Bc the "give a check by hand" or the "unbound discipline" never works.

The more things you need to be aware of at the same time, the more mistakes you are going to make due to cognitive overload.