diff --git a/collects/scribblings/reference/booleans.scrbl b/collects/scribblings/reference/booleans.scrbl
index 5eb0dfdbd4..a18c1905d0 100644
--- a/collects/scribblings/reference/booleans.scrbl
+++ b/collects/scribblings/reference/booleans.scrbl
@@ -5,8 +5,9 @@
 
 True and false @deftech{booleans} are represented by the values
 @racket[#t] and @racket[#f], respectively, though operations that
-depend on a boolean value typically treat anything other than @racket[#f]
-as true.
+depend on a boolean value typically treat anything other than
+@racket[#f] as true. The @racket[#t] value is always @racket[eq?] to
+itself, and @racket[#f] is always @racket[eq?] to itself.
 
 See also: @racket[and], @racket[or], @racket[andmap], @racket[ormap].
 
diff --git a/collects/scribblings/reference/data.scrbl b/collects/scribblings/reference/data.scrbl
index a962dbe73f..966bd5633a 100644
--- a/collects/scribblings/reference/data.scrbl
+++ b/collects/scribblings/reference/data.scrbl
@@ -227,7 +227,10 @@ Sets the content of @racket[box] to @racket[v].}
 The constant @|void-const| is returned by most forms and procedures
 that have a side-effect and no useful result. The constant
 @|undefined-const| is used as the initial value for @racket[letrec]
-bindings.
+bindings. 
+
+The @|void-const| value is always @racket[eq?] to itself, and the
+@|undefined-const| value is also @racket[eq?] to itself.
 
 @defproc[(void? [v any/c]) void?]{Returns @racket[#t] if @racket[v] is the
  constant @|void-const|, @racket[#f] otherwise.}