.
q in black jack ebmc