Let's be more ambitious with the scaffolding and tooling that makes software correct, secure, and easy to reason about.

That would be ambitious, since we haven't been able to create those things yet to date.