Bahasa pemrograman → manusia → mesin menjadi Bahasa manusia → alami → AI → bahasa pemrograman → mesin AI tidak peduli dengan hype atau kecantikan, hanya persyaratannya. Bahasa pemrograman yang aman, eksplisit, dan siap LLM menang. Rust and Move cocok dengan model ini. Move juga menambahkan kebenaran yang dapat dibuktikan (dengan AI menulis spesifikasi pembukti) dan operasi asli perdagangan.