And inability to prove incorrectness does NOT imply correctness. I think most Rust users don't understand either, because of the hype.