Software 1.0 easily automates what you can specify. Software 2.0 easily automates what you can verify.