1 files changed, 6 insertions, 0 deletions
diff --git a/blackjack.lisp b/blackjack.lisp
index 353fc2a..3d0318d 100644
--- a/blackjack.lisp
+++ b/blackjack.lisp
@@ -164,6 +164,12 @@
            (equal (score (list 'A r))
                   'NATURAL-BLACKJACK)))
 
+(defthm bust-12
+  (let ((rs '(K 2))
+        (new 'J))
+    (and (= (score* rs) 12)
+         (equal (score (cons new rs)) 'BUST))))
+
 (defthm safe-hit
   (implies (and (rankp r1)
                 (rankp r2)