Completely incorrect and misses the point of Rust. Tracing through state in imperative languages without ownership systems (aka, anything that isn't Rust) is a complete shitshow. Rust is not a complicated language at all, and allows you to lay out programs in a new and better way. It gives you the benefits of pure functional programming - no sneaky mutation, no state to keep track of - with the simplicity and performance of mutation when it's safe to do so. This is what makes Rust actually good, and miles ahead of basically every other language in widespread use.