This a naming/marketing issue. Because "safe" in the context of a programming language is provably wrong and thus will trigger adversary reactions. Rust is a

This a naming/marketing issue. Because "safe" in the context of a programming language is provably wrong and thus will trigger adversary reactions. Rust is a hardened language, compared to C/C++. In the same way that Ada is hardened language, with different techniques, but the spirit is similar.