Dan, which blockchain theorists do you think have the best grasp of these issues? I've been suspecting for a long time that there is a good "no free lunch" theorem to be had in the blockchain space that captures these tradeoffs, and I'd love to prove that theorem if nobody else has yet.