.
v blackjack vleq