diff --git a/racket/src/schemify/optimize.rkt b/racket/src/schemify/optimize.rkt
index 1cc4c7c6c0..34475a81e1 100644
--- a/racket/src/schemify/optimize.rkt
+++ b/racket/src/schemify/optimize.rkt
@@ -19,6 +19,10 @@
      (if (literal? t)
          (if (unwrap t) e1 e2)
          v)]
+    [`(not ,t)
+     (if (literal? t)
+         `,(not (unwrap t))
+         v)]
     [`(procedure? ,e)
      (define u (unwrap e))
      (cond