> Future languages must address all three. I think it's also okay to address memory corruption using tooling (like how sel4 proof checks c), the language might

> Future languages must address all three. I think it's also okay to address memory corruption using tooling (like how sel4 proof checks c), the language might not have to address it, but it would be nice for the language to make it easy to address.