Replace our government with what and how? What is the timeframe? Technical solutions can be implemented now. Formal methods can be used to prove correctness.

Replace our government with what and how? What is the timeframe? Technical solutions can be implemented now. Formal methods can be used to prove correctness. The number of flaws could be cut by a factor 1000 I'd imagine when thinking of the current state of code running on devices connected to the internet.