os custos de comprovação são inversamente proporcionais ao TAM total do software comprovável. Semelhante à energia, você torna a energia mais barata e o mundo vem com mais demanda por energia!