«I dette nye programmeringsparadigmet er den nye mest prediktive funksjonen å se på verifiserbarhet ... Jo mer en oppgave/jobb er verifiserbar, jo mer mottakelig er den for automatisering i det nye programmeringsparadigmet.» Som Andrej sier ovenfor, er etterprøvbarhet nøkkelen. TAM for den verifiserbare skyen vil være mye større enn det vi kan se i dag. Det er den verden vi bygger for. @EigenCloud