The change in utility function isn’t removing 10 by hand; it’s by removing any utility they gain from acausal trade (whatever it is) while preserving utility gained through direct actions. Thus incentivising them to only focus on direct actions (roughly).
The change in utility function isn’t removing 10 by hand; it’s by removing any utility they gain from acausal trade (whatever it is) while preserving utility gained through direct actions. Thus incentivising them to only focus on direct actions (roughly).
Then the entire result of the modification is tautologically true, right?
All of maths is tautologically true, so I’m not sure what you’re arguing.