card counting subgroup of count, 4 assertions