pop ad subgroup of ad, 6 assertions