.
a blackjack card probability jcoq