koszty dowodzenia są odwrotnie proporcjonalne do całkowitego TAM oprogramowania, które można udowodnić. Podobnie jak w przypadku energii, obniżasz koszty energii, a świat staje się bardziej zainteresowany jej wykorzystaniem!