Bez Rust i formalnej weryfikacji bylibyśmy martwi