> having more formal specification is always better True, all other things being equal. But your logic falls down when all other things aren't equal. Rust is

> having more formal specification is always better True, all other things being equal. But your logic falls down when all other things aren't equal. Rust is a more "secure ground" than C even though C has an official specification and Rust doesn't really. Also you shouldn't say "formal specification" in this context because I don't think you really mean https://en.wikipedia.org/wiki/Formal_specification https://en.wikipedia.org/wiki/Formal_specification