The focus is on creating systems where verification can be deferred but never avoided—eventual verifiability.