The central core of Rust is mutability NAND sharing, enforced by a borrow checker. Was that really established 30 years prior? I thought that came from the Cyclone research language (v1 release 2006) which was only a few years prior to the initial stages of Rust (late 2000s, depending on how you count it)