.
blackjack p refl