I don't think *we can* is a strong enough statement here. It should be *we need to* or *we must*, because there's no other way to provide these guarantees. It's not actually possible to get it right by hand due to failure.