Indeed, I&#x27;m hoping that Rust begins a push for standardization no later than five years from now, with a formal spec ratified no later than ten (which may sound like a long timeframe, but that would still put it ahead of the average standardization curve). And we&#x27;re already making a head start on a few necessary aspects of a specification, such as formally proving that our type system is actually as strong as we think it is.