diff --git a/basis/compiler/cfg/value-numbering/comparisons/comarisons-docs.factor b/basis/compiler/cfg/value-numbering/comparisons/comarisons-docs.factor
index 2efce41e9b..1d3f5561f3 100644
--- a/basis/compiler/cfg/value-numbering/comparisons/comarisons-docs.factor
+++ b/basis/compiler/cfg/value-numbering/comparisons/comarisons-docs.factor
@@ -7,7 +7,7 @@ HELP: >test-branch
 
 HELP: rewrite-into-test?
 { $values { "insn" insn } { "?" boolean } }
-{ $description "Whether the comparison instruction can be rewritten into a test instruction." } ;
+{ $description "Whether the comparison instruction can be trivially rewritten into a test instruction." } ;
 
 ARTICLE: "compiler.cfg.value-numbering.comparisons" "Comparisons GVN"
 "Optimizations performed here:"
diff --git a/basis/compiler/cfg/value-numbering/math/math-docs.factor b/basis/compiler/cfg/value-numbering/math/math-docs.factor
new file mode 100644
index 0000000000..25ad17a0d1
--- /dev/null
+++ b/basis/compiler/cfg/value-numbering/math/math-docs.factor
@@ -0,0 +1,6 @@
+USING: compiler.cfg.instructions help.markup help.syntax kernel ;
+IN: compiler.cfg.value-numbering.math
+
+HELP: diagonal?
+{ $values { "insn" insn } { "?" boolean } }
+{ $description "Whether the two inputs to the 'insn' performing a binary operation has the same value number or not." } ;
diff --git a/basis/compiler/cfg/value-numbering/rewrite/rewrite-docs.factor b/basis/compiler/cfg/value-numbering/rewrite/rewrite-docs.factor
new file mode 100644
index 0000000000..9ffd0d60b6
--- /dev/null
+++ b/basis/compiler/cfg/value-numbering/rewrite/rewrite-docs.factor
@@ -0,0 +1,11 @@
+USING: help.markup help.syntax kernel math ;
+IN: compiler.cfg.value-numbering.rewrite
+
+HELP: vreg-immediate-arithmetic?
+{ $values { "vreg" "vreg" } { "?" boolean } }
+{ $description "Checks if the 'vreg' is an immediate value in " { $link fixnum } " range." } ;
+
+ARTICLE: "compiler.cfg.value-numbering.rewrite" "Value numbering utilities"
+"Value numbering utilities" ;
+
+ABOUT: "compiler.cfg.value-numbering.rewrite"