Espere—podem os humanos ser verdadeiramente verificáveis e incorruptíveis? Pode algum outro software afirmar isso? Então, por que isso de repente se tornou o padrão para algo ser útil? Se considerássemos tudo como "perfeitamente verificável", rejeitaríamos a maioria das ferramentas das quais dependemos diariamente. Talvez a verdadeira questão não seja se é infalível, mas se resolve problemas melhor do que as alternativas. O contexto importa mais do que a pureza absoluta.