proving costs are inversely proportional to total TAM of provable software. Similar to energy, you make energy cheaper and the world comes with more demand for energy!
415