sim card subgroup of card, 7 assertions