red card subgroup of card, 9 assertions