blue badge subgroup of badge, 2 assertions