Rust's denotational semantics make memory safety possible! Over the years, up until Rust, there were 4 ways to have a ‘safe’ language:...