diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/defined-checks.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/defined-checks.rkt
index 30a0d3d232..848da6a3cc 100644
--- a/pkgs/redex-pkgs/redex-lib/redex/private/defined-checks.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/defined-checks.rkt
@@ -1,11 +1,13 @@
 #lang racket/base
 
-(require "error.rkt")
+(require "error.rkt"
+         racket/undefined)
 (provide check-defined-lexical
          check-defined-module)
 
 (define (check-defined-lexical value name desc)
-  (when (eq? (letrec ([x x]) x) value)
+  ;; Needed?
+  (when (eq? undefined value)
     (report-undefined name desc)))
 
 (define (check-defined-module thunk name desc)