public auction subgroup of auction, 4 assertions