You are using part of a proof to reason about an entire domain. What happens if we treat music and software like recipes? We don't know because we have not proved it.

I used to think as you do. This is a much larger issue than trying to preserve the business model of a lobbyist.