"In dit nieuwe programmeerparadigma is de nieuwe meest voorspellende eigenschap om naar te kijken verifieerbaarheid.... Hoe meer een taak/baan verifieerbaar is, hoe meer het geschikt is voor automatisering in het nieuwe programmeerparadigma." Zoals Andrej hierboven stelt, is verifieerbaarheid de sleutel. De TAM voor de verifieerbare cloud zal veel groter zijn dan wat we vandaag de dag kunnen zien. Dat is de wereld die we aan het bouwen zijn. @EigenCloud