That's interesting. I did read quadratic voting more accurately reflects preference, along those lines. I wonder if there isn't some way of modelling a world with independent actors and a fixed number of unique activities, where availability of the activity changes with respect to preference, maybe conceptually your quadratic vote budget is effectively time units. I suppose you'd have to consider how innovation increases available activities. Is there a real world example of that type of model with pricing data?