[vineyardmike]

> force government entities to use formally verified systems instead of the [current commercial options]

When do we complain about the even more expensive defense budget in this story?