card deck subgroup of deck, 3 assertions