but now another language comes around and takes that exact same reasoning a step further and suddenly it's terrible because it doesn't guarantee any of the properties that rust also doesn't guarantee