> You know with certainty that code doesn't have all the ...
You have this certainty to the extent that the compiler enforces it.
If you like language X because it's 'pragmatic' instead of 'religious', then you make the pragmatic choice of not knowing with certainty.