Comment by AlexErrant

Not to dunk on you, but your misuse of "provably" makes me discount what you said.

If we could "prove" security, we would. Proving security in a networked environment? Hahaha - there have been successful attacks on airgapped envs.