doesn't quite have to be that strong that that's probably most interpretable definition what's interesting is that there's no condition on the on the Preferences of the drivers FC does not enter into this theorem so FC could be arbitrary it's the the restriction is only on that fee okay that's one point the second point is I guess what I find interesting about this result it the way I would state it I I think like the the more glib statement is there's no value to dynamic pricing I think the way I would stated that's a bit more precise