theme deck subgroup of deck, 4 assertions