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