Before revision:  In "{\em first-price " bidding , only the higher bidder pays his bid , while in "{\em all-pay " bidding, both players pay their bids.
After revision:  In "{\em first-price " bidding , only the higher bidder pays his bid , while in "{\em all-pay bidding, where both players pay their bids.