It's important to have good foundations (memory safety) because then it becomes much more attractive to spend effort on the rest of the correctness and security

It's important to have good foundations (memory safety) because then it becomes much more attractive to spend effort on the rest of the correctness and security. If you want to build a sturdy house, and see how to make the roof well, don't give up on it just because you'll need to do something else for good doors and windows.