Comprehensive Rust 🦀

Semantic preconditions