diff --git a/core/base.xml b/core/base.xml
index 1b893ab7..2fad3cd2 100644
--- a/core/base.xml
+++ b/core/base.xml
@@ -99,17 +99,7 @@
- Negation is a common task and it was tedious in older versions of
- TAME\footnote{Before it was even called TAME, actually.} For
- these situations, \ref{NEGATE} is provided to avoid having to use
- a~\ref{const} expression.
-
-
-
-
- Similarly, $0$~is a~common value. Where a value is required (such
+ $0$~is a~common value. Where a value is required (such
as a~template argument), \ref{ZERO} may be used. TAME now
supports a~constant-scalar syntax ({\tt #0}; \todo{reference this
in documentation}), making this largely unnecessary.
diff --git a/core/numeric/common.xml b/core/numeric/common.xml
index 3e7c1fcd..44fe0b29 100644
--- a/core/numeric/common.xml
+++ b/core/numeric/common.xml
@@ -26,54 +26,85 @@
-
-
-
- 1
-
+
+ Due to the declarative nature of~TAME, recursive operations
+ needing to step are~not all that common. These operations are
+ useful when converting between 1-indexed and 0-indexed data.
-
-
-
-
-
+ \ref{_inc_} increments a value by a~single step (default~1).
+
+
+
+
+
+ 1
+
+
+
+
+
+
+
+
+
+
+
+ \ref{_dec_} decrements a value by a~single step (default~1).
+
+
+
+
+
+ 1
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+ Negation is a common task and it was tedious in older versions of
+ TAME\footnote{Before it was even called TAME, actually.} For
+ these situations, \ref{NEGATE} is provided to avoid having to use
+ a~\ref{const} expression. To avoid a {\tt product} expression
+ altogether, use~\ref{_negate_}.
-
- 1
-
+
-
-
+
+
+
+
+
-
+
-
+
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
+