This coupled with verification primitives will be quite compelling. we really have to start reimagining existing systems and processes from the ground up.