Konsekvensene av å kunne verifisere programvare formelt autonomt er nesten utenkelig store