"In diesem neuen Programmierparadigma ist das neue, am meisten prädiktive Merkmal, auf das man achten sollte, die Verifizierbarkeit.... Je mehr eine Aufgabe/Arbeit verifizierbar ist, desto mehr ist sie im neuen Programmierparadigma für die Automatisierung geeignet." Wie Andrej oben erwähnt, ist die Verifizierbarkeit der Schlüssel. Der TAM für die verifizierbare Cloud wird viel größer sein als das, was wir heute sehen können. Das ist die Welt, die wir aufbauen.