=========================================================================== Buyer: I will Pay20000 if others GiveCarExpensively. Seller: Can someone please Pay20000 so we can achieve GetLots? Seller: I will GiveCarExpensively if others Pay20000. Seller: Can someone please Pay10000 so we can achieve GetLittle? Buyer: I agree to Pay20000 if others GiveCarExpensively Seller: I agree to GiveCarExpensively if others Pay20000 Seller: Can someone please Pay10000 and GiveCarCheaply so we can achieve CarSoldCheaply? Buyer has done Pay20000. =========================================================================== Seller has done GiveCarExpensively. =========================================================================== =========================================================================== (State of Buyer) is: CarSoldExpensively. (State of Seller) is: CarSoldExpensively.