high bidder subgroup of bidder, 17 assertions