setting up an extendable, interoperable language and platform to maintain true-environment products/specs + Look at proof certificates These issues led teachers such as Noah Yuval Harari and Stuart Russel manufactured https://honeypotz.net