.
a blackjack coqd