You don’t want money to be returned to the proposer if the proposal wins, you want money returned if the proposal loses. That way the proposal pays F conditional on chain inclusion, and the validator gets F conditional on chain inclusion, so the gain and loss match out. This does give an incentive for validators to try to assign “credit scores” to proposers, so it’s still not perfect, but it does solve the imbalance.