diff --git a/debug.rkt b/debug.rkt
index b1e715c..3802b24 100644
--- a/debug.rkt
+++ b/debug.rkt
@@ -2,7 +2,7 @@
 
 (provide report)
 
-(define-syntax-rule (report var)
+(define-syntax-rule (report expr)
   (begin 
-    (displayln (format "~a = ~v" 'var var) (current-error-port)) 
-    var))
+    (displayln (format "~a = ~v" 'expr expr) (current-error-port)) 
+    expr))
diff --git a/scribblings/container.scrbl b/scribblings/container.scrbl
index d85183e..5212166 100644
--- a/scribblings/container.scrbl
+++ b/scribblings/container.scrbl
@@ -39,7 +39,7 @@ For other @racket[_container] types — which are all sequence-like — retrieve
 (get 'purple 2 4)
 ]
 
-When @racket[_container] is a path, it's treated as a list of exploded path elements, not as a stringlike value.
+When @racket[_container] is a path, it's treated as a list of path elements (created by @racket[explode-path]), not as a stringlike value.
 
 @examples[#:eval my-eval
 (get (string->path "/root/foo/bar/file.txt") 1)
diff --git a/scribblings/debug.scrbl b/scribblings/debug.scrbl
new file mode 100644
index 0000000..bd8b2f3
--- /dev/null
+++ b/scribblings/debug.scrbl
@@ -0,0 +1,51 @@
+#lang scribble/manual
+
+@(require scribble/eval (for-label racket sugar))
+
+@(define my-eval (make-base-eval))
+@(my-eval `(require sugar))
+
+@title{Debug}
+@defmodule[sugar/debug]
+
+Debugging utilities.
+
+@defform[(report expr)]
+Print the name and value of @racket[_expr] to @racket[current-error-port], but also return the evaluated result of @racket[_expr] as usual. This lets you see the value of an expression or variable at runtime without disrupting any of the surrounding code.
+
+For instance, suppose you wanted to see how @racket[first-condition?] was being evaluted in this expression:
+
+@racketblock[
+(if (and (first-condition? x) (second-condition? x))
+  (one-thing)
+  (other-thing))]
+
+You can wrap it in @racket[report] and find out:
+
+@racketblock[
+(if (and (report (first-condition? x)) (second-condition? x))
+  (one-thing)
+  (other-thing))]
+
+This code will run the same way as before. But when it reaches @racket[first-condition?], you willl see in @racket[current-error-port]:
+
+@racketerror{(first-condition? x) = #t}
+
+You can also add standalone calls to @racket[report] as a debugging aid at points where the return value will be irrelevant, for instance:
+
+@racketblock[
+(report x)
+(if (and (report (first-condition? x)) (second-condition? x))
+  (one-thing)
+  (other-thing))]
+
+@racketerror{x = 42
+@(linebreak)(first-condition? x) = #t}
+
+But don't do this, because the result of the @racket[if] expression will be skipped in favor of the last expression, which will be the value of @racket[_x]:
+
+@racketblock[
+(if (and (report (first-condition? x)) (second-condition? x))
+  (one-thing)
+  (other-thing))
+  (report x)]
diff --git a/scribblings/sugar.scrbl b/scribblings/sugar.scrbl
index 877903d..5131ae4 100644
--- a/scribblings/sugar.scrbl
+++ b/scribblings/sugar.scrbl
@@ -22,6 +22,8 @@ A collection of small functions to help make Racket code simpler & more readable
 
 @include-section["container.scrbl"]
 
+@include-section["debug.scrbl"]
+
 @include-section["len.scrbl"]
 
 @include-section["license.scrbl"]