What if I write a compiler which is able to produce automatically the mp3 compression scheme through a more generic description of lossy stream processing, along with the ad-hoc math notions (fourrier transform, etc)? Does it mean every person using that compiler will potentially have to pay? We already have software framework able to automatically (dis)prove theorems and generate code, so we're not very far practically from the above hypothesis, what will happen then?