[petra]

Military systems will probably become provably secure before the next great war.

The situation will be totally different than on the commercial side.