.
blackjack r coqf