Would you please have a look at my comment to @kevinwong above? I'd love to have your consideration of it to contemplate, and I also reckon it's better to see how SMTs, Oracles, and Communities change the dynamic.

Thanks!