Thomas Kwa comments on Deriving Conditional Expected Utility from Pareto-Efficient Decisions