.
blackjack r tcoq