затраты на доказательства обратно пропорциональны общему объему рынка (TAM) доказуемого программного обеспечения. Похоже на энергетику: вы делаете энергию дешевле, и мир предъявляет больший спрос на энергию!