Before revision:  Thus, the two marginal values of the buyer  are not independent.
After revision:  Thus, the values of the buyer are not independent.