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