Ah, I guess I just assumed it was implied at this point. People in the space consider it pretty important, I think, and it's well understood as one of the principal motivations for the switch to proof of stake.