What are the most important properties of programs, and how much do existing languages help? How is Rust different?