So I think it's great to mostly ignore that, since it's contentious, and focus on that core question: how do I know that the system works correctly?

This also makes it obvious why type systems are a glorious ally, in addition to test suites and proofs.

And it's a core question because if I don't have grounded confidence in the system's correctness, then that's likely to be anxiety-inducing, irresponsible, and sometimes dangerous.