grand bazaar subgroup of bazaar, 3 assertions