.
blackjack rules mcoq